1  typedef int jmp_buf[10];
       2  struct S
       3  {
       4    int i;
       5    jmp_buf buf;
       6  };
       7  
       8  void setjmp (jmp_buf);
       9  void foo (int *);
      10  __attribute__ ((__noreturn__, __nonnull__)) void bar (struct S *);
      11  
      12  void
      13  baz (struct S *p)
      14  {
      15    bar (p);
      16    setjmp (p->buf);
      17    foo (&p->i);
      18  }