1 2 3
extern void y (void); void should_be_dynamic_in_exec (void) {} int main (void) { y (); return 0; }