int main(int argc, char **argv) {
          int fred;
          goto L_0001;
          int  matched()
{
          return(1);
          return(0);
}
L_0001:
          if (matched() != 1) goto L_0002;
          fred = 1;
L_0002: