9 // We want f1 to start on line 20
12 return printf("f1: %s\n", s
);
19 // We want f2 to start on line 30, this should get stripped
22 return printf("f2: %s\n", s
);
29 // We want f3 to start on line 40
32 return printf("f3: %s\n", s
);
39 // We want main to start on line 50
40 int main (int argc
, const char * argv
[])