#include <perms.h>
int _imp_mainep(int _imp_argc, char **_imp_argv) {
  auto void Css(void);
  Selectoutput(0);
  Printstring(_imp_str_literal("start %SPEC test"));
  Newline();
  Css();
  Printstring(_imp_str_literal("end %SPEC test"));
  Newline();
  void Css(void) {
    int A;
    int B;
    int C;
    auto int Three(int P1, int P2, int P3);
    auto int Two(int P1, int P2);
    C = 5;
    int One(int P1) {
      int A1;
      int B1;
      int C1;
      int D1;
      static int Callcount;
      {
        A1 = P1;
        B1 = 2 * P1;
        C1 = 3 * P1;
        Callcount++;
      }
      if (Callcount < 10)
        D1 = Three(A1, B1, C1);
      else
        D1 = -1;
      return (D1);
    }
    B = 3;
    int Three(int P1, int P2, int P3) {
      int A3;
      int B3;
      A3 = One(P1);
      B3 = Two(P2, P3);
      return (A3 + B3);
    }
    A = Three(B, C, B + C);
    int Two(int P1, int P2) {
      int A2;
      int B2;
      return (One(P1 + P2));
    }
  }
  exit(0);
  return (1);
}