 extern int i;
int i;
int foo2(char * p) __attribute__((nonnull(1)));   

        int foo( void ) {
          switch (0) {
            case 1: __attribute__((fallthrough));
            case 2: break;
          }
          return 0;
        };

     