defects found this line: ATTR1, ATTR7
total defects so far: 2
defects found this line: ATTR3
total defects so far: 3
defects found this line: ATTR3
total defects so far: 4
defects found this line:
total defects so far: 4
defects found this line: ATTR3
total defects so far: 5