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