1#include <stdio.h>
2int nothing ()
3
4{
5    int x = 3 ;
6    return x ;
7}
8
9
10int main ()
11
12{
13    int y ;
14#ifdef usestubs
15    set_debug_traps();
16    breakpoint();
17#endif
18    y = nothing () ;
19    printf ("hello\n") ;
20    return 0;
21}
22