() test(int p) {
  bare1:    // ERROR
    int x;
    int y;
    
    /* ERRORS */
  label;
    goto x;
    goto y;
    goto int;
    goto ();
    ( goto;
    goto test;
    skipto x;
    goto label;
    goto label y;
    
  label if: // ERROR
    int z;
  label xyz:
    int a;
    goto xyz:a; // ERROR
    int xyz:b;
    goto xyz:b; // ERROR
    goto nonexistent:x;// ERROR
    goto p;     // ERROR
  label zzz:x;
  +label bad; // ERROR
  0 label xyz:; // ERROR
    
  label dup:
  label dup:    // ERROR
}

label outside:  // ERROR
int x;
bare2:          // ERROR
int y;
label           // ERROR