int nothing ()

{
    int x = 3 ;
    return x ;
}


main ()

{
    int y ;
#ifdef usestubs
    set_debug_traps();
    breakpoint();
#endif    
    y = nothing () ;
    printf ("hello\n") ;
}