#включить "тест.з"
#включить "stdvv.c"

/*
 * Это блочный комментарий.
 */

цел главн() {
  ПРОВЕРИТЬ(3, ({ цел х; если (0) х=2; иначе х=3; х; }));
  ПРОВЕРИТЬ(3, ({ цел х; если (1-1) х=2; иначе х=3; х; }));
  ПРОВЕРИТЬ(2, ({ цел х; если (1) х=2; иначе х=3; х; }));
  ПРОВЕРИТЬ(2, ({ цел х; если (2-1) х=2; иначе х=3; х; }));

  ПРОВЕРИТЬ(55, ({ цел и=0; цел й=0; для (и=0; и<=10; и=и+1) й=и+й; й; }));

  ПРОВЕРИТЬ(10, ({ цел и=0; пока(и<10) и=и+1; и; }));

  ПРОВЕРИТЬ(3, ({ 1; {2;} 3; }));
  ПРОВЕРИТЬ(5, ({ ;;; 5; }));

  ПРОВЕРИТЬ(10, ({ цел и=0; пока(и<10) и=и+1; и; }));
  ПРОВЕРИТЬ(55, ({ цел и=0; цел й=0; пока(и<=10) {й=и+й; и=и+1;} й; }));

  ПРОВЕРИТЬ(3, (1,2,3));
  ПРОВЕРИТЬ(5, ({ цел и=2, й=3; (и=5,й)=6; и; }));
  ПРОВЕРИТЬ(6, ({ цел и=2, й=3; (и=5,й)=6; й; }));

  ПРОВЕРИТЬ(55, ({ цел й=0; для (цел и=0; и<=10; и=и+1) й=й+и; й; }));
  ПРОВЕРИТЬ(3, ({ цел и=3; цел й=0; для (цел и=0; и<=10; и=и+1) й=й+и; и; }));

  ПРОВЕРИТЬ(1, 0||1);
  ПРОВЕРИТЬ(1, 0||(2-2)||5);
  ПРОВЕРИТЬ(0, 0||0);
  ПРОВЕРИТЬ(0, 0||(2-2));

  ПРОВЕРИТЬ(0, 0&&1);
  ПРОВЕРИТЬ(0, (2-2)&&5);
  ПРОВЕРИТЬ(1, 1&&5);

  ПРОВЕРИТЬ(3, ({ цел и=0; перейти а; а: и++; б: и++; в: и++; и; }));
  ПРОВЕРИТЬ(2, ({ цел и=0; перейти е; г: и++; д: и++; е: и++; ж: и++; и; }));
  ПРОВЕРИТЬ(1, ({ цел и=0; перейти и; з: и++; к: и++; и: и++; и; }));

  ПРОВЕРИТЬ(1, ({ типдеф цел фу; перейти фу; фу:; 1; }));

  ПРОВЕРИТЬ(3, ({ цел и=0; для(;и<10;и++) { если (и == 3) прерви; } и; }));
  ПРОВЕРИТЬ(4, ({ цел и=0; пока (1) { если (и++ == 3) прерви; } и; }));
  ПРОВЕРИТЬ(3, ({ цел и=0; для(;и<10;и++) { для (;;) прерви; если (и == 3) прерви; } и; }));
  ПРОВЕРИТЬ(4, ({ цел и=0; пока (1) { пока(1) прерви; если (и++ == 3) прерви; } и; }));

  ПРОВЕРИТЬ(10, ({ цел и=0; цел й=0; для (;и<10;и++) { если (и>5) продолжи; й++; } и; }));
  ПРОВЕРИТЬ(6, ({ цел и=0; цел й=0; для (;и<10;и++) { если (и>5) продолжи; й++; } й; }));
  ПРОВЕРИТЬ(10, ({ цел и=0; цел й=0; для(;!и;) { для (;й!=10;й++) продолжи; прерви; } й; }));
  ПРОВЕРИТЬ(11, ({ цел и=0; цел й=0; пока (и++<10) { если (и>5) продолжи; й++; } и; }));
  ПРОВЕРИТЬ(5, ({ цел и=0; цел й=0; пока (и++<10) { если (и>5) продолжи; й++; } й; }));
  ПРОВЕРИТЬ(11, ({ цел и=0; цел й=0; пока(!и) { пока (й++!=10) продолжи; прерви; } й; }));

  ПРОВЕРИТЬ(5, ({ цел и=0; выбор(0) { случай 0:и=5;прерви; случай 1:и=6;прерви; случай 2:и=7;прерви; } и; }));
  ПРОВЕРИТЬ(6, ({ цел и=0; выбор(1) { случай 0:и=5;прерви; случай 1:и=6;прерви; случай 2:и=7;прерви; } и; }));
  ПРОВЕРИТЬ(7, ({ цел и=0; выбор(2) { случай 0:и=5;прерви; случай 1:и=6;прерви; случай 2:и=7;прерви; } и; }));
  ПРОВЕРИТЬ(0, ({ цел и=0; выбор(3) { случай 0:и=5;прерви; случай 1:и=6;прерви; случай 2:и=7;прерви; } и; }));
  ПРОВЕРИТЬ(5, ({ цел и=0; выбор(0) { случай 0:и=5;прерви; умолч:и=7; } и; }));
  ПРОВЕРИТЬ(7, ({ цел и=0; выбор(1) { случай 0:и=5;прерви; умолч:и=7; } и; }));
  ПРОВЕРИТЬ(2, ({ цел и=0; выбор(1) { случай 0: 0; случай 1: 0; случай 2: 0; и=2; } и; }));
  ПРОВЕРИТЬ(0, ({ цел и=0; выбор(3) { случай 0: 0; случай 1: 0; случай 2: 0; и=2; } и; }));

  ПРОВЕРИТЬ(3, ({ цел и=0; выбор(-1) { случай 0xffffffff: и=3; прерви; } и; }));

  ПРОВЕРИТЬ(7, ({ цел и=0; цел й=0; делай { й++; } пока (и++ < 6); й; }));
  ПРОВЕРИТЬ(4, ({ цел и=0; цел й=0; цел к=0; делай { если (++й > 3) прерви; продолжи; к++; } пока (1); й; }));

  ПРОВЕРИТЬ(0, 0.0 && 0.0);
  ПРОВЕРИТЬ(0, 0.0 && 0.1);
  ПРОВЕРИТЬ(0, 0.3 && 0.0);
  ПРОВЕРИТЬ(1, 0.3 && 0.5);
  ПРОВЕРИТЬ(0, 0.0 || 0.0);
  ПРОВЕРИТЬ(1, 0.0 || 0.1);
  ПРОВЕРИТЬ(1, 0.3 || 0.0);
  ПРОВЕРИТЬ(1, 0.3 || 0.5);
  ПРОВЕРИТЬ(5, ({ цел х; если (0.0) х=3; иначе х=5; х; }));
  ПРОВЕРИТЬ(3, ({ цел х; если (0.1) х=3; иначе х=5; х; }));
  ПРОВЕРИТЬ(5, ({ цел х=5; если (0.0) х=3; х; }));
  ПРОВЕРИТЬ(3, ({ цел х=5; если (0.1) х=3; х; }));
  ПРОВЕРИТЬ(10, ({ двойн и=10.0; цел й=0; для (; и; и--, й++); й; }));
  ПРОВЕРИТЬ(10, ({ двойн и=10.0; цел й=0; делай й++; пока(--и); й; }));

  ПРОВЕРИТЬ(2, ({ цел и=0; выбор(7) { случай 0 ... 5: и=1; прерви; случай 6 ... 20: и=2; прерви; } и; }));
  ПРОВЕРИТЬ(1, ({ цел и=0; выбор(7) { случай 0 ... 7: и=1; прерви; случай 8 ... 10: и=2; прерви; } и; }));
  ПРОВЕРИТЬ(1, ({ цел и=0; выбор(7) { случай 0: и=1; прерви; случай 7 ... 7: и=1; прерви; } и; }));

  ПРОВЕРИТЬ(3, ({ пусто *п = &&в11; цел и=0; перейти *п; в11:и++; в12:и++; в13:и++; и; }));
  ПРОВЕРИТЬ(2, ({ пусто *п = &&в22; цел и=0; перейти *п; в21:и++; в22:и++; в23:и++; и; }));
  ПРОВЕРИТЬ(1, ({ пусто *п = &&в33; цел и=0; перейти *п; в31:и++; в32:и++; в33:и++; и; }));

  ПРОВЕРИТЬ(3, ({ стат пусто *п[]={&&в41,&&в42,&&в43}; цел и=0; перейти *п[0]; в41:и++; в42:и++; в43:и++; и; }));
  ПРОВЕРИТЬ(2, ({ стат пусто *п[]={&&в52,&&в52,&&в53}; цел и=0; перейти *п[1]; в51:и++; в52:и++; в53:и++; и; }));
  ПРОВЕРИТЬ(1, ({ стат пусто *п[]={&&в62,&&в62,&&в63}; цел и=0; перейти *п[2]; в61:и++; в62:и++; в63:и++; и; }));

  printf("OK\n");
  возврат 0;
}