#include <perms.h>
typedef struct Rf {
  int I;
  float R;
  int Rf;
} Rf;
int Xi1;
int *Xin1;
float Xr1;
int Xi2;
int Xi3;
float Xcr1 = 3.1415;
float Xra1[10 /*0:9*/];
float Xran1;
double Xclr1 = 3.1415;
double Xlra1[10 /*0:9*/];
double Xlran1;
int Xina1[10 /*0:9*/];
int *Xinan1;
_imp_string Xs1;
_imp_string *Xsn1;
_imp_string Xsa1[4 /*4:7*/];
_imp_string Xsan1;
_imp_string Xsna1[4 /*4:7*/];
_imp_string *Xsnan1;
Rf Xrec1;
Rf *Xrecn1;
Rf Xreca1[2 /*2:3*/];
Rf Xrecan1;
Rf Xrecna1[2 /*2:3*/];
Rf *Xrecnan1;
int Ifn1(void) { return (Xi1); }
int *Imap1(void) { return (&Xi1); }
void Rt1(void) {
  int I1;
  void Rt1(void) {}
}
int /* boolean */ Test1(void) { return (1); }
int _imp_mainep(int _imp_argc, char **_imp_argv) {
  auto int *Imap1(void);
  int I1;
  int *In1;
  short Si1;
  short *Sin1;
  unsigned char Bi1;
  unsigned char *Bin1;
  float R1;
  double Qr1;
  static const float Cr1 = 3.1415;
  double Lr1;
  static const double Clr1 = 3.1415;
  int Ifn1(void) { return (I1); }
  int *Imap1(void) { return (&I1); }
  void Rt1(void) {
    int I1;
    int Local1;
    void Rt1(void) {
      int Local1;
      Local1 = 1;
      I1 = 1;
    }
    Local1 = 2;
    I1 = 2;
  }
  int /* boolean */ Test1(void) { return (0); }
  float Ra1[10 /*0:9*/];
  float Ra1b[10 /*0:9*/];
  float Ra2[10 /*10:19*/];
  float Ra2b[10 /*10:19*/];
  float Ran1;
  float Ran2;
  double Lra1[10 /*0:9*/];
  double Lra1b[10 /*0:9*/];
  double Lra2[10 /*10:19*/];
  double Lra2b[10 /*10:19*/];
  double Lran1;
  double Lran2;
  int Ina1[10 /*0:9*/];
  int Ina1b[10 /*0:9*/];
  int Ina2[10 /*10:19*/];
  int Ina2b[10 /*10:19*/];
  int *Inan1;
  int *Inan2;
  _imp_string S1;
  _imp_string S2;
  _imp_string *Sn1;
  _imp_string *Sn2;
  _imp_string Sa1[4 /*4:7*/];
  _imp_string Sa1b[4 /*4:7*/];
  _imp_string Sa2[2 /*9:10*/];
  _imp_string Sa2b[2 /*9:10*/];
  _imp_string Sa3[100 /*1:100*/];
  _imp_string San1;
  _imp_string San2;
  _imp_string San3;
  _imp_string Sna1[4 /*4:7*/];
  _imp_string Sna2[4 /*4:7*/];
  _imp_string Sna3[2 /*1:2*/];
  _imp_string *Snan1;
  _imp_string *Snan2;
  Rf Rec1;
  Rf Rec2;
  Rf *Recn1;
  Rf *Recn2;
  Rf Reca1[2 /*2:3*/];
  Rf Reca2[2 /*2:3*/];
  Rf Reca3[2 /*4:5*/];
  Rf Recan1;
  Rf Recan2;
  Rf Recna1[2 /*2:3*/];
  Rf Recna2[2 /*2:3*/];
  Rf Recna3[2 /*1:2*/];
  Rf *Recnan1;
  Rf *Recnan2;
  static int Oi1;
  static int *Oin1;
  static float Or1;
  static double Olr1;
  static int Oi2;
  static int Oi3;
  static float Ocr1 = 3.1415;
  static double Oclr1 = 3.1415;
  static float Ora1[10 /*0:9*/];
  static float Oran1;
  static double Olra1[10 /*0:9*/];
  static double Olran1;
  static int Oina1[10 /*0:9*/];
  static int *Oinan1;
  static _imp_string Os1;
  static _imp_string *Osn1;
  static _imp_string Osa1[4 /*4:7*/];
  static _imp_string Osan1;
  static _imp_string Osna1[4 /*4:7*/];
  static _imp_string *Osnan1;
  static Rf Orec1;
  static Rf *Orecn1;
  static Rf Oreca1[2 /*2:3*/];
  static Rf Orecan1;
  static Rf Orecna1[2 /*2:3*/];
  static Rf *Orecnan1;
  static int Sw1_sw;
  static void *Sw1[256 /*0:255*/] = {
      &&Sw1_default, &&Sw1_default, &&Sw1_default, &&Sw1_default, &&Sw1_default,
      &&Sw1_default, &&Sw1_default, &&Sw1_default, &&Sw1_default, &&Sw1_default,
      &&Sw1_default, &&Sw1_default, &&Sw1_default, &&Sw1_default, &&Sw1_default,
      &&Sw1_default, &&Sw1_default, &&Sw1_default, &&Sw1_default, &&Sw1_default,
      &&Sw1_default, &&Sw1_default, &&Sw1_default, &&Sw1_default, &&Sw1_default,
      &&Sw1_default, &&Sw1_default, &&Sw1_default, &&Sw1_default, &&Sw1_default,
      &&Sw1_default, &&Sw1_default, &&Sw1_default, &&Sw1_default, &&Sw1_default,
      &&Sw1_default, &&Sw1_default, &&Sw1_default, &&Sw1_default, &&Sw1_default,
      &&Sw1_default, &&Sw1_default, &&Sw1_default, &&Sw1_default, &&Sw1_default,
      &&Sw1_default, &&Sw1_default, &&Sw1_default, &&Sw1_default, &&Sw1_default,
      &&Sw1_default, &&Sw1_default, &&Sw1_default, &&Sw1_default, &&Sw1_default,
      &&Sw1_default, &&Sw1_default, &&Sw1_default, &&Sw1_default, &&Sw1_default,
      &&Sw1_default, &&Sw1_default, &&Sw1_default, &&Sw1_default, &&Sw1_default,
      &&Sw1_default, &&Sw1_default, &&Sw1_default, &&Sw1_default, &&Sw1_default,
      &&Sw1_default, &&Sw1_default, &&Sw1_default, &&Sw1_default, &&Sw1_default,
      &&Sw1_default, &&Sw1_default, &&Sw1_default, &&Sw1_default, &&Sw1_default,
      &&Sw1_default, &&Sw1_default, &&Sw1_default, &&Sw1_default, &&Sw1_default,
      &&Sw1_default, &&Sw1_default, &&Sw1_default, &&Sw1_default, &&Sw1_default,
      &&Sw1_default, &&Sw1_default, &&Sw1_default, &&Sw1_default, &&Sw1_default,
      &&Sw1_default, &&Sw1_default, &&Sw1_default, &&Sw1_default, &&Sw1_default,
      &&Sw1_default, &&Sw1_default, &&Sw1_default, &&Sw1_default, &&Sw1_default,
      &&Sw1_default, &&Sw1_default, &&Sw1_default, &&Sw1_default, &&Sw1_default,
      &&Sw1_default, &&Sw1_default, &&Sw1_default, &&Sw1_default, &&Sw1_default,
      &&Sw1_default, &&Sw1_default, &&Sw1_default, &&Sw1_default, &&Sw1_default,
      &&Sw1_default, &&Sw1_default, &&Sw1_default, &&Sw1_default, &&Sw1_default,
      &&Sw1_default, &&Sw1_default, &&Sw1_default, &&Sw1_default, &&Sw1_default,
      &&Sw1_default, &&Sw1_default, &&Sw1_default, &&Sw1_default, &&Sw1_default,
      &&Sw1_default, &&Sw1_default, &&Sw1_default, &&Sw1_default, &&Sw1_default,
      &&Sw1_default, &&Sw1_default, &&Sw1_default, &&Sw1_default, &&Sw1_default,
      &&Sw1_default, &&Sw1_default, &&Sw1_default, &&Sw1_default, &&Sw1_default,
      &&Sw1_default, &&Sw1_default, &&Sw1_default, &&Sw1_default, &&Sw1_default,
      &&Sw1_default, &&Sw1_default, &&Sw1_default, &&Sw1_default, &&Sw1_default,
      &&Sw1_default, &&Sw1_default, &&Sw1_default, &&Sw1_default, &&Sw1_default,
      &&Sw1_default, &&Sw1_default, &&Sw1_default, &&Sw1_default, &&Sw1_default,
      &&Sw1_default, &&Sw1_default, &&Sw1_default, &&Sw1_default, &&Sw1_default,
      &&Sw1_default, &&Sw1_default, &&Sw1_default, &&Sw1_default, &&Sw1_default,
      &&Sw1_default, &&Sw1_default, &&Sw1_default, &&Sw1_default, &&Sw1_default,
      &&Sw1_default, &&Sw1_default, &&Sw1_default, &&Sw1_default, &&Sw1_default,
      &&Sw1_default, &&Sw1_default, &&Sw1_default, &&Sw1_default, &&Sw1_default,
      &&Sw1_default, &&Sw1_default, &&Sw1_default, &&Sw1_default, &&Sw1_default,
      &&Sw1_default, &&Sw1_default, &&Sw1_default, &&Sw1_default, &&Sw1_default,
      &&Sw1_default, &&Sw1_default, &&Sw1_default, &&Sw1_default, &&Sw1_default,
      &&Sw1_default, &&Sw1_default, &&Sw1_default, &&Sw1_default, &&Sw1_default,
      &&Sw1_default, &&Sw1_default, &&Sw1_default, &&Sw1_default, &&Sw1_default,
      &&Sw1_default, &&Sw1_default, &&Sw1_default, &&Sw1_default, &&Sw1_default,
      &&Sw1_default, &&Sw1_default, &&Sw1_default, &&Sw1_default, &&Sw1_default,
      &&Sw1_default, &&Sw1_default, &&Sw1_default, &&Sw1_default, &&Sw1_default,
      &&Sw1_default, &&Sw1_default, &&Sw1_default, &&Sw1_default, &&Sw1_default,
      &&Sw1_default, &&Sw1_default, &&Sw1_default, &&Sw1_default, &&Sw1_default,
      &&Sw1_default, &&Sw1_default, &&Sw1_default, &&Sw1_default, &&Sw1_default,
      &&Sw1_default, &&Sw1_default, &&Sw1_default, &&Sw1_default, &&Sw1_default,
      &&Sw1_default,
  };
  static int Sw2_sw;
  static void *Sw2[26 /*97:122*/] = {
      &&Sw2_default, &&Sw2_default, &&Sw2_default, &&Sw2_default, &&Sw2_default,
      &&Sw2_default, &&Sw2_default, &&Sw2_default, &&Sw2_default, &&Sw2_default,
      &&Sw2_default, &&Sw2_default, &&Sw2_default, &&Sw2_default, &&Sw2_default,
      &&Sw2_default, &&Sw2_default, &&Sw2_default, &&Sw2_default, &&Sw2_default,
      &&Sw2_default, &&Sw2_default, &&Sw2_default, &&Sw2_default, &&Sw2_default,
      &&Sw2_default,
  };
  int Ia3[10 /*1:10*/];
  int Ia4[10 /*1:10*/];
  int Ia5[10 /*2:11*/][2 /*0:1*/][3 /*0:2*/];
  int In3a1[10 /*2:11*/][2 /*0:1*/][3 /*0:2*/];
  I1 = 1;
  Xi1 = 1;
  Xin1 = &Xi1;
  *Xin1 = 1;
  Xr1 = 3.1;
  Xi2 = Xi3;
  Xcr1 = 3.1415;
  Xra1[5] = Xcr1;
  *Xran1 = &Xra1;
  Xclr1 = 3.1415;
  Xlra1[2] = 3.1;
  *Xlran1 = &Xlra1;
  Xlran1(2) = 3.2;
  Xina1[9] = &Xi1;
  Xinan1 = &Xina1;
  goto Sw2_skip;
Sw2_default:
  fprintf(stderr, "\nSwitch label 'Sw2(%d):' not set in %s\n", Sw2_sw + 97,
          __PRETTY_FUNCTION__);
  fflush(stderr);
  abort();
Sw2_skip:;
  goto Sw1_skip;
Sw1_default:
  fprintf(stderr, "\nSwitch label 'Sw1(%d):' not set in %s\n", Sw1_sw,
          __PRETTY_FUNCTION__);
  fflush(stderr);
  abort();
Sw1_skip:;
  exit(0);
  return (1);
}
