int main () { pic_addr (); nonpic_nothing (); exit (0); }
main () { nonpic_nothing (); pic_addr_call (); if (hit_nonpic_nothing != 1) abort (); if (hit_pic_addr_call != 1) abort (); exit (0); }