Table 4: Output after awk filter in Listing 3

test01.c       line = 00015 f= main            
test01.c       line = 00003 f= f001            
test01.c       line = 00004 f= f001            
00005 blocks out of 00008 executed;  62% coverage