1  extern __attribute__((__noreturn__)) void baz(void);
       2  void bar(void)
       3  {
       4    baz();
       5  }