1  extern void should_be_dynamic_in_exec (void);
       2  void y (void) { should_be_dynamic_in_exec (); }