#include "chdecl.h"
void CH_checkformal_typestate(current, sched, cop)
#define ARGUMENTS 12
#include "chhead.h"
select: switch (SELECTOR) {
    case 0: goto c0;
    case 1: goto cb2;
    case 2: goto c3;
    case 3: goto c9;
    case 4: goto c44;
    case 5: goto cb54;
    case 6: goto c55;
    case 7: goto c56;
    case 8: goto c74;
    case 9: goto c77;
    case 10: goto c80;
    case 11: goto c83;
    case 12: goto c87;
    case 13: goto c90;
    case 14: goto c96;
    case 15: goto c98;
    case 16: goto c105;
    case 17: goto cb126;
    case 18: goto c127;
    case 19: goto c137;
    case 20: goto c139;
    case 21: goto c143;
    case 22: goto cb164;
    case 23: goto c165;
    case 24: goto c175;
    case 25: goto c177;
    case 26: goto c181;
    case 27: goto cb202;
    case 28: goto c203;
    case 29: goto cb224;
    case 30: goto c225;
    case 31: goto c254;
    case 32: goto c273;
    case 33: goto c275;
    case 34: goto c280;
    case 35: goto c283;
    case 36: goto c285;
    case 37: goto c288;
    case 38: goto cb309;
    case 39: goto c310;
    case 40: goto c312;
    case 41: goto c314;
    case 42: goto c320;
    case 43: goto c352;
    case 44: goto c373;
    case 45: goto c397;
    case 46: goto c406;
    case 47: goto c408;
    case 48: goto c420;
    case 49: goto c436;
    case 50: goto c440;
    case 51: goto cb449;
    case 52: goto c450;
    case 53: goto c452;
    case 54: goto c459;
    case 55: goto c482;
    case 56: goto c488;
    case 57: goto cb497;
    case 58: goto c498;
    case 59: goto c500;
    case 60: goto c507;
    case 61: goto c530;
    case 62: goto c536;
    case 63: goto c557;
    case 64: goto c585;
    case 65: goto c589;
    case 66: goto c591;
    case 67: goto cb609;
    case 68: goto c610;
    case 69: goto c616;
    case 70: goto c626;
    case 71: goto c633;
    case 72: goto c656;
    case 73: goto c662;
    case 74: goto c665;
    case 75: goto c667;
    case 76: goto cb718;
    case 77: goto c719;
    case 78: goto c751;
    case 79: goto c756;
    case 80: goto c760;
    case 81: goto c768;
    case 82: goto c773;
    case 83: goto c782;
    case 84: goto c836;
    case 85: goto c840;
    case 86: goto c842;
    case 87: goto c883;
    case 88: goto c885;  }
c0:
/* block , 0 */
  if((ch_returncode = che_block(QUAL(0),sched)) != Normal)
     goto ch_raise_exception;
/* block , 1 */
  if((ch_returncode = che_block(QUAL(1),sched)) != Normal)
     goto ch_raise_exception;
  current->ip = 1;
cb2:
/* receive 3 0 */
  if ((ch_returncode = che_receive(DEF(3),DEF(0),sched)) != Normal)
     goto ch_raise_exception;
  return;
c3:
/* size 4 3.5 */
  REF(4).value.integer = REF(3)DOT(5).value.table->size;
  REF(4).tsdr = & dr_integer;
/* boolean 5 , FALSE */
  REF(5).value.boolean = FALSE;
  REF(5).tsdr = & dr_boolean;
/* copy 6 3.0 */
  if((ch_returncode = cp_table(& ch_val, REF(3)DOT(0).value)) != Normal)
     goto ch_raise_exception;
  (*(REF(6).tsdr)->finalize)(REF(6).value,F_DISCARD,sched);
  REF(6).value = ch_val;
  REF(6).tsdr = & dr_table;
/* initget 7 6 , 0,0 */
  (*(REF(7).tsdr)->finalize)(REF(7).value,F_DISCARD,sched);
  if ((ch_returncode = init_selector(DEF(7),DEF(6),nil,sched,GET,0,0
    )) != Normal) goto ch_raise_exception;
c9:
/* get_or_goto 7 6 , 320 */
  if ((ch_returncode = get_selected_object(DEF(7),DEF(6),sched)) != Normal)
     goto c320;
/* case 8 7.0 */
  REF(8).value.enumeration = REF(7)DOT(0).value.variant->info.variant_case;
  REF(8).tsdr = & dr_enumeration;
/* equal . 8 =(5) , 25 */
  if ( REF(8).value.enumeration == 5 ) goto c25;
/* equal . 8 =(4) , 32 */
  if ( REF(8).value.enumeration == 4 ) goto c32;
/* equal . 8 =(3) , 105 */
  if ( REF(8).value.enumeration == 3 ) goto c105;
/* equal . 8 =(2) , 143 */
  if ( REF(8).value.enumeration == 2 ) goto c143;
/* equal . 8 =(1) , 181 */
  if ( REF(8).value.enumeration == 1 ) goto c181;
/* equal . 8 =(0) , 288 */
  if ( REF(8).value.enumeration == 0 ) goto c288;
/* branch , 9 */
   goto c9;
c25:
/* copy 9 3.4 */
  if((ch_returncode = (REF(3)DOT(4).tsdr->copy)(& ch_val, REF(3)DOT(4).value
    )) != Normal) goto ch_raise_exception;
  (*(REF(9).tsdr)->finalize)(REF(9).value,F_DISCARD,sched);
  REF(9).value = ch_val;
  REF(9).tsdr = datarepmap[REF(3)DOT(4).tsdr->number];
/* chs_lit 10 , "attribute 'full' not allowed in abstract definitions module" */
  if( !chs_lit(DEF(10),
    "attribute 'full' not allowed in abstract definitions module") )
     goto ch_depletion;
/* unite 11 10 , 3 */
  if ((ch_returncode = che_unite(DEF(11),DEF(10),sched,3)) != Normal)
     goto ch_raise_exception;
/* insert 9.2 11 */
  if ((ch_returncode = insertfunc(DEF(9)DOT(2),DEF(11),FALSE,0)) != Normal)
     goto ch_raise_exception;
/* insert 3.5 9 */
  if ((ch_returncode = insertfunc(DEF(3)DOT(5),DEF(9),FALSE,0)) != Normal)
     goto ch_raise_exception;
/* branch , 9 */
   goto c9;
c32:
/* reveal 7.0 , 4 */
  if (4 != REF(7)DOT(0).value.variant->info.variant_case) goto ch_case_error;
/* block , 2 */
  if((ch_returncode = che_block(QUAL(2),sched)) != Normal)
     goto ch_raise_exception;
/* find 12 3.2 7.0.0.0 , 0 */
  if (findfunc(DEF(12),DEF(3)DOT(2),(
          arguments[0] = DEF(7)DOT(0)DOT(0)DOT(0),& arguments[0]),sched,0
            ) == FAILURE) goto ch_notfound;
/* find 13 12.2 7.0.0.1 , 0 */
  if (findfunc(DEF(13),DEF(12)DOT(2),(
          arguments[0] = DEF(7)DOT(0)DOT(0)DOT(1),& arguments[0]),sched,0
            ) == FAILURE) goto ch_notfound;
/* size 14 13.2 */
  REF(14).value.integer = REF(13)DOT(2).value.table->size;
  REF(14).tsdr = & dr_integer;
/* size 15 7.1 */
  REF(15).value.integer = REF(7)DOT(1).value.table->size;
  REF(15).tsdr = & dr_integer;
/* notequal . 14 15 , 90 */
  if ( REF(14).value.integer != REF(15).value.integer ) goto c90;
/* block , 3 */
  if((ch_returncode = che_block(QUAL(3),sched)) != Normal)
     goto ch_raise_exception;
/* find 16 13.1.0 13.1.2 , 0 */
  if (findfunc(DEF(16),DEF(13)DOT(1)DOT(0),(
          arguments[0] = DEF(13)DOT(1)DOT(2),& arguments[0]),sched,0
            ) == FAILURE) goto ch_notfound;
/* copy 17 7.1 */
  if((ch_returncode = cp_table(& ch_val, REF(7)DOT(1).value)) != Normal)
     goto ch_raise_exception;
  (*(REF(17).tsdr)->finalize)(REF(17).value,F_DISCARD,sched);
  REF(17).value = ch_val;
  REF(17).tsdr = & dr_table;
/* initget 18 17 , 0,0 */
  (*(REF(18).tsdr)->finalize)(REF(18).value,F_DISCARD,sched);
  if ((ch_returncode = init_selector(DEF(18),DEF(17),nil,sched,GET,0,0
    )) != Normal) goto ch_raise_exception;
c44:
/* get_or_goto 18 17 , 83 */
  if ((ch_returncode = get_selected_object(DEF(18),DEF(17),sched)) != Normal)
     goto c83;
/* discard 19 */
  (*(REF(19).tsdr)->finalize)(REF(19).value,F_DISCARD,sched);
  REF(19).tsdr = & dr_bottom;
/* discard 20 */
  (*(REF(20).tsdr)->finalize)(REF(20).value,F_DISCARD,sched);
  REF(20).tsdr = & dr_bottom;
/* block , 4 */
  if((ch_returncode = che_block(QUAL(4),sched)) != Normal)
     goto ch_raise_exception;
/* copy 20 3.1 */
  if((ch_returncode = (REF(3)DOT(1).tsdr->copy)(& ch_val, REF(3)DOT(1).value
    )) != Normal) goto ch_raise_exception;
  (*(REF(20).tsdr)->finalize)(REF(20).value,F_DISCARD,sched);
  REF(20).value = ch_val;
  REF(20).tsdr = datarepmap[REF(3)DOT(1).tsdr->number];
/* copy 19 3.4 */
  if((ch_returncode = (REF(3)DOT(4).tsdr->copy)(& ch_val, REF(3)DOT(4).value
    )) != Normal) goto ch_raise_exception;
  (*(REF(19).tsdr)->finalize)(REF(19).value,F_DISCARD,sched);
  REF(19).value = ch_val;
  REF(19).tsdr = datarepmap[REF(3)DOT(4).tsdr->number];
/* chs_lit 21 , " of constraint attribute" */
  if( !chs_lit(DEF(21)," of constraint attribute") ) goto ch_depletion;
/* unite 11 21 , 3 */
  if ((ch_returncode = che_unite(DEF(11),DEF(21),sched,3)) != Normal)
     goto ch_raise_exception;
/* insert 19.2 11 */
  if ((ch_returncode = insertfunc(DEF(19)DOT(2),DEF(11),FALSE,0)) != Normal)
     goto ch_raise_exception;
  current->ip = 5;
cb54:
/* call 3.6 18 20 3.2 19 3.5 , 5 */
  if ((ch_returncode = che_call((
          arguments[0] = DEF(3)DOT(6),
          arguments[1] = DEF(18),
          arguments[2] = DEF(20),
          arguments[3] = DEF(3)DOT(2),
          arguments[4] = DEF(19),
          arguments[5] = DEF(3)DOT(5),
          arguments[5+1] = nil,& arguments[0]),QUAL(5),sched)) != Normal)
     goto ch_raise_exception;
  return;
c55:
/* initget 22 16.1 , 0,0 */
  (*(REF(22).tsdr)->finalize)(REF(22).value,F_DISCARD,sched);
  if ((ch_returncode = init_selector(DEF(22),DEF(16)DOT(1),nil,sched,GET,0,0
    )) != Normal) goto ch_raise_exception;
c56:
/* get_or_err 22 16.1 */
  if ((ch_returncode = get_selected_object(DEF(22),DEF(16)DOT(1)
    ,sched)) != Normal) goto ch_raise_exception;
/* position 23 18 */
  ch_frame = get_selector_frame(DEF(18),sched);
  ch_t = ch_frame->inspectee->value.table;
  REF(23).value.integer = ch_frame->rmvcount +
    (*(ch_t->tbls[ORDER_TBL].des->position_of))(ch_t,ORDER_TBL,ch_frame->pos);
  REF(23).tsdr = &dr_integer;
/* lookup_at 24 13.2 23 */
  if((ch_i = REF(23).value.integer) < 0 || ch_i >= (ch_t = REF(13)DOT(2).value
    .table)->size) goto ch_notfound;
  (*(REF(24).tsdr)->finalize)(REF(24).value,F_DISCARD,sched);
  (*(ch_t->tbls[ORDER_TBL].des->lookup_at))
    (ch_t, ORDER_TBL, & REF(24).value,ch_i);
  REF(24).tsdr = qdatarepmap[ch_t->tsdr->number];
/* copy 25 24 */
  if((ch_returncode = (REF(24).tsdr->copy)(& ch_val, REF(24).value
    )) != Normal) goto ch_raise_exception;
  (*(REF(25).tsdr)->finalize)(REF(25).value,F_DISCARD,sched);
  REF(25).value = ch_val;
  REF(25).tsdr = datarepmap[REF(24).tsdr->number];
/* notequal . 22.0 25 , 56 */
  if ( !(REF(22)DOT(0).tsdr->equal)(REF(22)DOT(0).value,REF(25).value) )
     goto c56;
/* reveal 22.1 , 0 */
  if (0 != REF(22)DOT(1).value.variant->info.variant_case) goto ch_case_error;
/* equal . 22.1.0 20 , 71 */
  if ( (REF(22)DOT(1)DOT(0).tsdr->equal)(REF(22)DOT(1)DOT(0).value,
    REF(20).value) ) goto c71;
/* copy 9 3.4 */
  if((ch_returncode = (REF(3)DOT(4).tsdr->copy)(& ch_val, REF(3)DOT(4).value
    )) != Normal) goto ch_raise_exception;
  (*(REF(9).tsdr)->finalize)(REF(9).value,F_DISCARD,sched);
  REF(9).value = ch_val;
  REF(9).tsdr = datarepmap[REF(3)DOT(4).tsdr->number];
/* chs_lit 26 , "argument of wrong type in constraint attribute" */
  if( !chs_lit(DEF(26),"argument of wrong type in constraint attribute") )
     goto ch_depletion;
/* unite 11 26 , 3 */
  if ((ch_returncode = che_unite(DEF(11),DEF(26),sched,3)) != Normal)
     goto ch_raise_exception;
/* insert 9.2 11 */
  if ((ch_returncode = insertfunc(DEF(9)DOT(2),DEF(11),FALSE,0)) != Normal)
     goto ch_raise_exception;
/* insert 3.5 9 */
  if ((ch_returncode = insertfunc(DEF(3)DOT(5),DEF(9),FALSE,0)) != Normal)
     goto ch_raise_exception;
c71:
/* endget 22 16.1 */
  end_selector(DEF(22),DEF(16)DOT(1),sched,GET);
/* endblock */
  che_endblock(sched);
/* branch , 44 */
   goto c44;
c74:
/* boolean 5 , TRUE */
  REF(5).value.boolean = TRUE;
  REF(5).tsdr = & dr_boolean;
/* branch , 44 */
   goto c44;
c77:
/* boolean 5 , TRUE */
  REF(5).value.boolean = TRUE;
  REF(5).tsdr = & dr_boolean;
/* branch , 44 */
   goto c44;
c80:
/* boolean 5 , TRUE */
  REF(5).value.boolean = TRUE;
  REF(5).tsdr = & dr_boolean;
/* branch , 44 */
   goto c44;
c83:
/* endget 18 17 */
  end_selector(DEF(18),DEF(17),sched,GET);
/* discard 17 */
  (*(REF(17).tsdr)->finalize)(REF(17).value,F_DISCARD,sched);
  REF(17).tsdr = & dr_bottom;
/* endblock */
  che_endblock(sched);
/* branch , 96 */
   goto c96;
c87:
/* boolean 5 , TRUE */
  REF(5).value.boolean = TRUE;
  REF(5).tsdr = & dr_boolean;
/* branch , 96 */
   goto c96;
c90:
/* copy 9 3.4 */
  if((ch_returncode = (REF(3)DOT(4).tsdr->copy)(& ch_val, REF(3)DOT(4).value
    )) != Normal) goto ch_raise_exception;
  (*(REF(9).tsdr)->finalize)(REF(9).value,F_DISCARD,sched);
  REF(9).value = ch_val;
  REF(9).tsdr = datarepmap[REF(3)DOT(4).tsdr->number];
/* chs_lit 27 , "wrong number of arguments for constraint attribute" */
  if( !chs_lit(DEF(27),"wrong number of arguments for constraint attribute") )
     goto ch_depletion;
/* unite 11 27 , 3 */
  if ((ch_returncode = che_unite(DEF(11),DEF(27),sched,3)) != Normal)
     goto ch_raise_exception;
/* insert 9.2 11 */
  if ((ch_returncode = insertfunc(DEF(9)DOT(2),DEF(11),FALSE,0)) != Normal)
     goto ch_raise_exception;
/* insert 3.5 9 */
  if ((ch_returncode = insertfunc(DEF(3)DOT(5),DEF(9),FALSE,0)) != Normal)
     goto ch_raise_exception;
c96:
/* endblock */
  che_endblock(sched);
/* branch , 9 */
   goto c9;
c98:
/* copy 9 3.4 */
  if((ch_returncode = (REF(3)DOT(4).tsdr->copy)(& ch_val, REF(3)DOT(4).value
    )) != Normal) goto ch_raise_exception;
  (*(REF(9).tsdr)->finalize)(REF(9).value,F_DISCARD,sched);
  REF(9).value = ch_val;
  REF(9).tsdr = datarepmap[REF(3)DOT(4).tsdr->number];
/* chs_lit 28 , "definition for attribute 'constraint' not found" */
  if( !chs_lit(DEF(28),"definition for attribute 'constraint' not found") )
     goto ch_depletion;
/* unite 11 28 , 3 */
  if ((ch_returncode = che_unite(DEF(11),DEF(28),sched,3)) != Normal)
     goto ch_raise_exception;
/* insert 9.2 11 */
  if ((ch_returncode = insertfunc(DEF(9)DOT(2),DEF(11),FALSE,0)) != Normal)
     goto ch_raise_exception;
/* insert 3.5 9 */
  if ((ch_returncode = insertfunc(DEF(3)DOT(5),DEF(9),FALSE,0)) != Normal)
     goto ch_raise_exception;
/* branch , 9 */
   goto c9;
c105:
/* size 29 7.1 */
  REF(29).value.integer = REF(7)DOT(1).value.table->size;
  REF(29).tsdr = & dr_integer;
/* equal . 29 =(1) , 116 */
  if ( REF(29).value.integer == 1 ) goto c116;
/* copy 9 3.4 */
  if((ch_returncode = (REF(3)DOT(4).tsdr->copy)(& ch_val, REF(3)DOT(4).value
    )) != Normal) goto ch_raise_exception;
  (*(REF(9).tsdr)->finalize)(REF(9).value,F_DISCARD,sched);
  REF(9).value = ch_val;
  REF(9).tsdr = datarepmap[REF(3)DOT(4).tsdr->number];
/* chs_lit 30 , "typestate attribute 'checkeddefinitions' with wrong number arguments" */
  if( !chs_lit(DEF(30),
    "typestate attribute 'checkeddefinitions' with wrong number arguments") )
     goto ch_depletion;
/* unite 11 30 , 3 */
  if ((ch_returncode = che_unite(DEF(11),DEF(30),sched,3)) != Normal)
     goto ch_raise_exception;
/* insert 9.2 11 */
  if ((ch_returncode = insertfunc(DEF(9)DOT(2),DEF(11),FALSE,0)) != Normal)
     goto ch_raise_exception;
/* insert 3.5 9 */
  if ((ch_returncode = insertfunc(DEF(3)DOT(5),DEF(9),FALSE,0)) != Normal)
     goto ch_raise_exception;
/* branch , 139 */
   goto c139;
c116:
/* block , 6 */
  if((ch_returncode = che_block(QUAL(6),sched)) != Normal)
     goto ch_raise_exception;
/* copy 31 3.1 */
  if((ch_returncode = (REF(3)DOT(1).tsdr->copy)(& ch_val, REF(3)DOT(1).value
    )) != Normal) goto ch_raise_exception;
  (*(REF(31).tsdr)->finalize)(REF(31).value,F_DISCARD,sched);
  REF(31).value = ch_val;
  REF(31).tsdr = datarepmap[REF(3)DOT(1).tsdr->number];
/* copy 19 3.4 */
  if((ch_returncode = (REF(3)DOT(4).tsdr->copy)(& ch_val, REF(3)DOT(4).value
    )) != Normal) goto ch_raise_exception;
  (*(REF(19).tsdr)->finalize)(REF(19).value,F_DISCARD,sched);
  REF(19).value = ch_val;
  REF(19).tsdr = datarepmap[REF(3)DOT(4).tsdr->number];
/* chs_lit 32 , " of typestate attribute 'checkeddefinitions'" */
  if( !chs_lit(DEF(32)," of typestate attribute 'checkeddefinitions'") )
     goto ch_depletion;
/* unite 11 32 , 3 */
  if ((ch_returncode = che_unite(DEF(11),DEF(32),sched,3)) != Normal)
     goto ch_raise_exception;
/* insert 19.2 11 */
  if ((ch_returncode = insertfunc(DEF(19)DOT(2),DEF(11),FALSE,0)) != Normal)
     goto ch_raise_exception;
/* lookup_at 33 7.1 =(0) */
  if ( !((ch_t = REF(7)DOT(1).value.table)->size) ) goto ch_notfound;
  (*(REF(33).tsdr)->finalize)(REF(33).value,F_DISCARD,sched);
  (*(ch_t->tbls[ORDER_TBL].des->lookup_at))
    (ch_t, ORDER_TBL, & REF(33).value,0);
  REF(33).tsdr = qdatarepmap[ch_t->tsdr->number];
/* copy 34 33 */
  if((ch_returncode = (REF(33).tsdr->copy)(& ch_val, REF(33).value
    )) != Normal) goto ch_raise_exception;
  (*(REF(34).tsdr)->finalize)(REF(34).value,F_DISCARD,sched);
  REF(34).value = ch_val;
  REF(34).tsdr = datarepmap[REF(33).tsdr->number];
  current->ip = 17;
cb126:
/* call 3.6 34 31 3.2 19 3.5 , 5 */
  if ((ch_returncode = che_call((
          arguments[0] = DEF(3)DOT(6),
          arguments[1] = DEF(34),
          arguments[2] = DEF(31),
          arguments[3] = DEF(3)DOT(2),
          arguments[4] = DEF(19),
          arguments[5] = DEF(3)DOT(5),
          arguments[5+1] = nil,& arguments[0]),QUAL(5),sched)) != Normal)
     goto ch_raise_exception;
  return;
c127:
/* equal . 31 3.3.0 , 135 */
  if ( (REF(31).tsdr->equal)(REF(31).value,REF(3)DOT(3)DOT(0).value) ) goto c135;
/* copy 9 3.4 */
  if((ch_returncode = (REF(3)DOT(4).tsdr->copy)(& ch_val, REF(3)DOT(4).value
    )) != Normal) goto ch_raise_exception;
  (*(REF(9).tsdr)->finalize)(REF(9).value,F_DISCARD,sched);
  REF(9).value = ch_val;
  REF(9).tsdr = datarepmap[REF(3)DOT(4).tsdr->number];
/* chs_lit 35 , "argument of attribute 'checkeddefinitions' not of type predefined!definitions_module" */
  if( !chs_lit(DEF(35),
    "argument of attribute 'checkeddefinitions' not of type predefined!definitions_module"
    ) ) goto ch_depletion;
/* unite 11 35 , 3 */
  if ((ch_returncode = che_unite(DEF(11),DEF(35),sched,3)) != Normal)
     goto ch_raise_exception;
/* insert 9.2 11 */
  if ((ch_returncode = insertfunc(DEF(9)DOT(2),DEF(11),FALSE,0)) != Normal)
     goto ch_raise_exception;
/* insert 3.5 9 */
  if ((ch_returncode = insertfunc(DEF(3)DOT(5),DEF(9),FALSE,0)) != Normal)
     goto ch_raise_exception;
c135:
/* endblock */
  che_endblock(sched);
/* branch , 139 */
   goto c139;
c137:
/* boolean 5 , TRUE */
  REF(5).value.boolean = TRUE;
  REF(5).tsdr = & dr_boolean;
c139:
/* discard 19 */
  (*(REF(19).tsdr)->finalize)(REF(19).value,F_DISCARD,sched);
  REF(19).tsdr = & dr_bottom;
/* discard 31 */
  (*(REF(31).tsdr)->finalize)(REF(31).value,F_DISCARD,sched);
  REF(31).tsdr = & dr_bottom;
/* discard 34 */
  (*(REF(34).tsdr)->finalize)(REF(34).value,F_DISCARD,sched);
  REF(34).tsdr = & dr_bottom;
/* branch , 9 */
   goto c9;
c143:
/* size 36 7.1 */
  REF(36).value.integer = REF(7)DOT(1).value.table->size;
  REF(36).tsdr = & dr_integer;
/* equal . 36 =(1) , 154 */
  if ( REF(36).value.integer == 1 ) goto c154;
/* copy 9 3.4 */
  if((ch_returncode = (REF(3)DOT(4).tsdr->copy)(& ch_val, REF(3)DOT(4).value
    )) != Normal) goto ch_raise_exception;
  (*(REF(9).tsdr)->finalize)(REF(9).value,F_DISCARD,sched);
  REF(9).value = ch_val;
  REF(9).tsdr = datarepmap[REF(3)DOT(4).tsdr->number];
/* chs_lit 37 , "typestate attribute 'checked' with wrong number arguments" */
  if( !chs_lit(DEF(37),
    "typestate attribute 'checked' with wrong number arguments") )
     goto ch_depletion;
/* unite 11 37 , 3 */
  if ((ch_returncode = che_unite(DEF(11),DEF(37),sched,3)) != Normal)
     goto ch_raise_exception;
/* insert 9.2 11 */
  if ((ch_returncode = insertfunc(DEF(9)DOT(2),DEF(11),FALSE,0)) != Normal)
     goto ch_raise_exception;
/* insert 3.5 9 */
  if ((ch_returncode = insertfunc(DEF(3)DOT(5),DEF(9),FALSE,0)) != Normal)
     goto ch_raise_exception;
/* branch , 177 */
   goto c177;
c154:
/* block , 7 */
  if((ch_returncode = che_block(QUAL(7),sched)) != Normal)
     goto ch_raise_exception;
/* copy 38 3.1 */
  if((ch_returncode = (REF(3)DOT(1).tsdr->copy)(& ch_val, REF(3)DOT(1).value
    )) != Normal) goto ch_raise_exception;
  (*(REF(38).tsdr)->finalize)(REF(38).value,F_DISCARD,sched);
  REF(38).value = ch_val;
  REF(38).tsdr = datarepmap[REF(3)DOT(1).tsdr->number];
/* copy 19 3.4 */
  if((ch_returncode = (REF(3)DOT(4).tsdr->copy)(& ch_val, REF(3)DOT(4).value
    )) != Normal) goto ch_raise_exception;
  (*(REF(19).tsdr)->finalize)(REF(19).value,F_DISCARD,sched);
  REF(19).value = ch_val;
  REF(19).tsdr = datarepmap[REF(3)DOT(4).tsdr->number];
/* chs_lit 39 , " of typestate attribute 'checked'" */
  if( !chs_lit(DEF(39)," of typestate attribute 'checked'") )
     goto ch_depletion;
/* unite 11 39 , 3 */
  if ((ch_returncode = che_unite(DEF(11),DEF(39),sched,3)) != Normal)
     goto ch_raise_exception;
/* insert 19.2 11 */
  if ((ch_returncode = insertfunc(DEF(19)DOT(2),DEF(11),FALSE,0)) != Normal)
     goto ch_raise_exception;
/* lookup_at 40 7.1 =(0) */
  if ( !((ch_t = REF(7)DOT(1).value.table)->size) ) goto ch_notfound;
  (*(REF(40).tsdr)->finalize)(REF(40).value,F_DISCARD,sched);
  (*(ch_t->tbls[ORDER_TBL].des->lookup_at))
    (ch_t, ORDER_TBL, & REF(40).value,0);
  REF(40).tsdr = qdatarepmap[ch_t->tsdr->number];
/* copy 41 40 */
  if((ch_returncode = (REF(40).tsdr->copy)(& ch_val, REF(40).value
    )) != Normal) goto ch_raise_exception;
  (*(REF(41).tsdr)->finalize)(REF(41).value,F_DISCARD,sched);
  REF(41).value = ch_val;
  REF(41).tsdr = datarepmap[REF(40).tsdr->number];
  current->ip = 22;
cb164:
/* call 3.6 41 38 3.2 19 3.5 , 5 */
  if ((ch_returncode = che_call((
          arguments[0] = DEF(3)DOT(6),
          arguments[1] = DEF(41),
          arguments[2] = DEF(38),
          arguments[3] = DEF(3)DOT(2),
          arguments[4] = DEF(19),
          arguments[5] = DEF(3)DOT(5),
          arguments[5+1] = nil,& arguments[0]),QUAL(5),sched)) != Normal)
     goto ch_raise_exception;
  return;
c165:
/* equal . 38 3.3.1 , 173 */
  if ( (REF(38).tsdr->equal)(REF(38).value,REF(3)DOT(3)DOT(1).value) ) goto c173;
/* copy 9 3.4 */
  if((ch_returncode = (REF(3)DOT(4).tsdr->copy)(& ch_val, REF(3)DOT(4).value
    )) != Normal) goto ch_raise_exception;
  (*(REF(9).tsdr)->finalize)(REF(9).value,F_DISCARD,sched);
  REF(9).value = ch_val;
  REF(9).tsdr = datarepmap[REF(3)DOT(4).tsdr->number];
/* chs_lit 42 , "argument of attribute 'checked' not of type predefined!program" */
  if( !chs_lit(DEF(42),
    "argument of attribute 'checked' not of type predefined!program") )
     goto ch_depletion;
/* unite 11 42 , 3 */
  if ((ch_returncode = che_unite(DEF(11),DEF(42),sched,3)) != Normal)
     goto ch_raise_exception;
/* insert 9.2 11 */
  if ((ch_returncode = insertfunc(DEF(9)DOT(2),DEF(11),FALSE,0)) != Normal)
     goto ch_raise_exception;
/* insert 3.5 9 */
  if ((ch_returncode = insertfunc(DEF(3)DOT(5),DEF(9),FALSE,0)) != Normal)
     goto ch_raise_exception;
c173:
/* endblock */
  che_endblock(sched);
/* branch , 177 */
   goto c177;
c175:
/* boolean 5 , TRUE */
  REF(5).value.boolean = TRUE;
  REF(5).tsdr = & dr_boolean;
c177:
/* discard 19 */
  (*(REF(19).tsdr)->finalize)(REF(19).value,F_DISCARD,sched);
  REF(19).tsdr = & dr_bottom;
/* discard 38 */
  (*(REF(38).tsdr)->finalize)(REF(38).value,F_DISCARD,sched);
  REF(38).tsdr = & dr_bottom;
/* discard 41 */
  (*(REF(41).tsdr)->finalize)(REF(41).value,F_DISCARD,sched);
  REF(41).tsdr = & dr_bottom;
/* branch , 9 */
   goto c9;
c181:
/* size 43 7.1 */
  REF(43).value.integer = REF(7)DOT(1).value.table->size;
  REF(43).tsdr = & dr_integer;
/* equal . 43 =(2) , 192 */
  if ( REF(43).value.integer == 2 ) goto c192;
/* copy 9 3.4 */
  if((ch_returncode = (REF(3)DOT(4).tsdr->copy)(& ch_val, REF(3)DOT(4).value
    )) != Normal) goto ch_raise_exception;
  (*(REF(9).tsdr)->finalize)(REF(9).value,F_DISCARD,sched);
  REF(9).value = ch_val;
  REF(9).tsdr = datarepmap[REF(3)DOT(4).tsdr->number];
/* chs_lit 44 , "typestate attribute 'case' with wrong number arguments" */
  if( !chs_lit(DEF(44),
    "typestate attribute 'case' with wrong number arguments") )
     goto ch_depletion;
/* unite 11 44 , 3 */
  if ((ch_returncode = che_unite(DEF(11),DEF(44),sched,3)) != Normal)
     goto ch_raise_exception;
/* insert 9.2 11 */
  if ((ch_returncode = insertfunc(DEF(9)DOT(2),DEF(11),FALSE,0)) != Normal)
     goto ch_raise_exception;
/* insert 3.5 9 */
  if ((ch_returncode = insertfunc(DEF(3)DOT(5),DEF(9),FALSE,0)) != Normal)
     goto ch_raise_exception;
/* branch , 285 */
   goto c285;
c192:
/* block , 8 */
  if((ch_returncode = che_block(QUAL(8),sched)) != Normal)
     goto ch_raise_exception;
/* copy 45 3.1 */
  if((ch_returncode = (REF(3)DOT(1).tsdr->copy)(& ch_val, REF(3)DOT(1).value
    )) != Normal) goto ch_raise_exception;
  (*(REF(45).tsdr)->finalize)(REF(45).value,F_DISCARD,sched);
  REF(45).value = ch_val;
  REF(45).tsdr = datarepmap[REF(3)DOT(1).tsdr->number];
/* copy 19 3.4 */
  if((ch_returncode = (REF(3)DOT(4).tsdr->copy)(& ch_val, REF(3)DOT(4).value
    )) != Normal) goto ch_raise_exception;
  (*(REF(19).tsdr)->finalize)(REF(19).value,F_DISCARD,sched);
  REF(19).value = ch_val;
  REF(19).tsdr = datarepmap[REF(3)DOT(4).tsdr->number];
/* chs_lit 46 , " of typestate attribute 'case'" */
  if( !chs_lit(DEF(46)," of typestate attribute 'case'") ) goto ch_depletion;
/* unite 11 46 , 3 */
  if ((ch_returncode = che_unite(DEF(11),DEF(46),sched,3)) != Normal)
     goto ch_raise_exception;
/* insert 19.2 11 */
  if ((ch_returncode = insertfunc(DEF(19)DOT(2),DEF(11),FALSE,0)) != Normal)
     goto ch_raise_exception;
/* lookup_at 47 7.1 =(0) */
  if ( !((ch_t = REF(7)DOT(1).value.table)->size) ) goto ch_notfound;
  (*(REF(47).tsdr)->finalize)(REF(47).value,F_DISCARD,sched);
  (*(ch_t->tbls[ORDER_TBL].des->lookup_at))
    (ch_t, ORDER_TBL, & REF(47).value,0);
  REF(47).tsdr = qdatarepmap[ch_t->tsdr->number];
/* copy 48 47 */
  if((ch_returncode = (REF(47).tsdr->copy)(& ch_val, REF(47).value
    )) != Normal) goto ch_raise_exception;
  (*(REF(48).tsdr)->finalize)(REF(48).value,F_DISCARD,sched);
  REF(48).value = ch_val;
  REF(48).tsdr = datarepmap[REF(47).tsdr->number];
  current->ip = 27;
cb202:
/* call 3.6 48 45 3.2 19 3.5 , 5 */
  if ((ch_returncode = che_call((
          arguments[0] = DEF(3)DOT(6),
          arguments[1] = DEF(48),
          arguments[2] = DEF(45),
          arguments[3] = DEF(3)DOT(2),
          arguments[4] = DEF(19),
          arguments[5] = DEF(3)DOT(5),
          arguments[5+1] = nil,& arguments[0]),QUAL(5),sched)) != Normal)
     goto ch_raise_exception;
  return;
c203:
/* find 49 3.2 45.0 , 0 */
  if (findfunc(DEF(49),DEF(3)DOT(2),(
          arguments[0] = DEF(45)DOT(0),& arguments[0]),sched,0) == FAILURE)
             goto ch_notfound;
/* find 50 49.1 45.1 , 0 */
  if (findfunc(DEF(50),DEF(49)DOT(1),(
          arguments[0] = DEF(45)DOT(1),& arguments[0]),sched,0) == FAILURE)
             goto ch_notfound;
/* ord_case 51 50.2 */
  REF(51).value.ord_enum = REF(50)DOT(2).value.variant->info.variant_case;
  REF(51).tsdr = & dr_ord_enumeration;
/* equal . 51 =(6) , 215 */
  if ( REF(51).value.ord_enum == 6 ) goto c215;
/* copy 9 3.4 */
  if((ch_returncode = (REF(3)DOT(4).tsdr->copy)(& ch_val, REF(3)DOT(4).value
    )) != Normal) goto ch_raise_exception;
  (*(REF(9).tsdr)->finalize)(REF(9).value,F_DISCARD,sched);
  REF(9).value = ch_val;
  REF(9).tsdr = datarepmap[REF(3)DOT(4).tsdr->number];
/* chs_lit 52 , "first argument of attribute 'case' not a variant" */
  if( !chs_lit(DEF(52),"first argument of attribute 'case' not a variant") )
     goto ch_depletion;
/* unite 11 52 , 3 */
  if ((ch_returncode = che_unite(DEF(11),DEF(52),sched,3)) != Normal)
     goto ch_raise_exception;
/* insert 9.2 11 */
  if ((ch_returncode = insertfunc(DEF(9)DOT(2),DEF(11),FALSE,0)) != Normal)
     goto ch_raise_exception;
/* insert 3.5 9 */
  if ((ch_returncode = insertfunc(DEF(3)DOT(5),DEF(9),FALSE,0)) != Normal)
     goto ch_raise_exception;
c215:
/* copy 45 3.1 */
  if((ch_returncode = (REF(3)DOT(1).tsdr->copy)(& ch_val, REF(3)DOT(1).value
    )) != Normal) goto ch_raise_exception;
  (*(REF(45).tsdr)->finalize)(REF(45).value,F_DISCARD,sched);
  REF(45).value = ch_val;
  REF(45).tsdr = datarepmap[REF(3)DOT(1).tsdr->number];
/* copy 19 3.4 */
  if((ch_returncode = (REF(3)DOT(4).tsdr->copy)(& ch_val, REF(3)DOT(4).value
    )) != Normal) goto ch_raise_exception;
  (*(REF(19).tsdr)->finalize)(REF(19).value,F_DISCARD,sched);
  REF(19).value = ch_val;
  REF(19).tsdr = datarepmap[REF(3)DOT(4).tsdr->number];
/* chs_lit 53 , " of typestate attribute 'case'" */
  if( !chs_lit(DEF(53)," of typestate attribute 'case'") ) goto ch_depletion;
/* unite 11 53 , 3 */
  if ((ch_returncode = che_unite(DEF(11),DEF(53),sched,3)) != Normal)
     goto ch_raise_exception;
/* insert 19.2 11 */
  if ((ch_returncode = insertfunc(DEF(19)DOT(2),DEF(11),FALSE,0)) != Normal)
     goto ch_raise_exception;
/* lookup_at 54 7.1 =(1) */
  if (1 >= (ch_t = REF(7)DOT(1).value.table)->size) goto ch_notfound;
  (*(REF(54).tsdr)->finalize)(REF(54).value,F_DISCARD,sched);
  (*(ch_t->tbls[ORDER_TBL].des->lookup_at))
    (ch_t, ORDER_TBL, & REF(54).value,1);
  REF(54).tsdr = qdatarepmap[ch_t->tsdr->number];
/* copy 55 54 */
  if((ch_returncode = (REF(54).tsdr->copy)(& ch_val, REF(54).value
    )) != Normal) goto ch_raise_exception;
  (*(REF(55).tsdr)->finalize)(REF(55).value,F_DISCARD,sched);
  REF(55).value = ch_val;
  REF(55).tsdr = datarepmap[REF(54).tsdr->number];
  current->ip = 29;
cb224:
/* call 3.6 55 45 3.2 19 3.5 , 5 */
  if ((ch_returncode = che_call((
          arguments[0] = DEF(3)DOT(6),
          arguments[1] = DEF(55),
          arguments[2] = DEF(45),
          arguments[3] = DEF(3)DOT(2),
          arguments[4] = DEF(19),
          arguments[5] = DEF(3)DOT(5),
          arguments[5+1] = nil,& arguments[0]),QUAL(5),sched)) != Normal)
     goto ch_raise_exception;
  return;
c225:
/* noop */
  
/* lookup_at 56 7.1 =(0) */
  if ( !((ch_t = REF(7)DOT(1).value.table)->size) ) goto ch_notfound;
  (*(REF(56).tsdr)->finalize)(REF(56).value,F_DISCARD,sched);
  (*(ch_t->tbls[ORDER_TBL].des->lookup_at))
    (ch_t, ORDER_TBL, & REF(56).value,0);
  REF(56).tsdr = qdatarepmap[ch_t->tsdr->number];
/* copy 57 56 */
  if((ch_returncode = cp_table(& ch_val, REF(56).value)) != Normal)
     goto ch_raise_exception;
  (*(REF(57).tsdr)->finalize)(REF(57).value,F_DISCARD,sched);
  REF(57).value = ch_val;
  REF(57).tsdr = & dr_table;
/* size 58 57 */
  REF(58).value.integer = REF(57).value.table->size;
  REF(58).tsdr = & dr_integer;
/* discard 57 */
  (*(REF(57).tsdr)->finalize)(REF(57).value,F_DISCARD,sched);
  REF(57).tsdr = & dr_bottom;
/* iadd 59 58 =(1) */
  if (!chf_iadd(DEF(59),REF(58).value.integer,1)) goto ch_depletion;
/* lookup_at 60 7.1 =(1) */
  if (1 >= (ch_t = REF(7)DOT(1).value.table)->size) goto ch_notfound;
  (*(REF(60).tsdr)->finalize)(REF(60).value,F_DISCARD,sched);
  (*(ch_t->tbls[ORDER_TBL].des->lookup_at))
    (ch_t, ORDER_TBL, & REF(60).value,1);
  REF(60).tsdr = qdatarepmap[ch_t->tsdr->number];
/* copy 61 60 */
  if((ch_returncode = cp_table(& ch_val, REF(60).value)) != Normal)
     goto ch_raise_exception;
  (*(REF(61).tsdr)->finalize)(REF(61).value,F_DISCARD,sched);
  REF(61).value = ch_val;
  REF(61).tsdr = & dr_table;
/* size 62 61 */
  REF(62).value.integer = REF(61).value.table->size;
  REF(62).tsdr = & dr_integer;
/* discard 61 */
  (*(REF(61).tsdr)->finalize)(REF(61).value,F_DISCARD,sched);
  REF(61).tsdr = & dr_bottom;
/* equal . 59 62 , 246 */
  if ( REF(59).value.integer == REF(62).value.integer ) goto c246;
/* copy 9 3.4 */
  if((ch_returncode = (REF(3)DOT(4).tsdr->copy)(& ch_val, REF(3)DOT(4).value
    )) != Normal) goto ch_raise_exception;
  (*(REF(9).tsdr)->finalize)(REF(9).value,F_DISCARD,sched);
  REF(9).value = ch_val;
  REF(9).tsdr = datarepmap[REF(3)DOT(4).tsdr->number];
/* chs_lit 63 , "second argument of attribute 'case' not component of first" */
  if( !chs_lit(DEF(63),
    "second argument of attribute 'case' not component of first") )
     goto ch_depletion;
/* unite 11 63 , 3 */
  if ((ch_returncode = che_unite(DEF(11),DEF(63),sched,3)) != Normal)
     goto ch_raise_exception;
/* insert 9.2 11 */
  if ((ch_returncode = insertfunc(DEF(9)DOT(2),DEF(11),FALSE,0)) != Normal)
     goto ch_raise_exception;
/* insert 3.5 9 */
  if ((ch_returncode = insertfunc(DEF(3)DOT(5),DEF(9),FALSE,0)) != Normal)
     goto ch_raise_exception;
/* branch , 273 */
   goto c273;
c246:
/* noop */
  
/* lookup_at 64 7.1 =(0) */
  if ( !((ch_t = REF(7)DOT(1).value.table)->size) ) goto ch_notfound;
  (*(REF(64).tsdr)->finalize)(REF(64).value,F_DISCARD,sched);
  (*(ch_t->tbls[ORDER_TBL].des->lookup_at))
    (ch_t, ORDER_TBL, & REF(64).value,0);
  REF(64).tsdr = qdatarepmap[ch_t->tsdr->number];
/* lookup_at 65 7.1 =(1) */
  if (1 >= (ch_t = REF(7)DOT(1).value.table)->size) goto ch_notfound;
  (*(REF(65).tsdr)->finalize)(REF(65).value,F_DISCARD,sched);
  (*(ch_t->tbls[ORDER_TBL].des->lookup_at))
    (ch_t, ORDER_TBL, & REF(65).value,1);
  REF(65).tsdr = qdatarepmap[ch_t->tsdr->number];
/* boolean 66 , FALSE */
  REF(66).value.boolean = FALSE;
  REF(66).tsdr = & dr_boolean;
/* copy 67 64 */
  if((ch_returncode = cp_table(& ch_val, REF(64).value)) != Normal)
     goto ch_raise_exception;
  (*(REF(67).tsdr)->finalize)(REF(67).value,F_DISCARD,sched);
  REF(67).value = ch_val;
  REF(67).tsdr = & dr_table;
/* initget 68 67 , 0,0 */
  (*(REF(68).tsdr)->finalize)(REF(68).value,F_DISCARD,sched);
  if ((ch_returncode = init_selector(DEF(68),DEF(67),nil,sched,GET,0,0
    )) != Normal) goto ch_raise_exception;
c254:
/* get_or_goto 68 67 , 264 */
  if ((ch_returncode = get_selected_object(DEF(68),DEF(67),sched)) != Normal)
     goto c264;
/* position 69 68 */
  ch_frame = get_selector_frame(DEF(68),sched);
  ch_t = ch_frame->inspectee->value.table;
  REF(69).value.integer = ch_frame->rmvcount +
    (*(ch_t->tbls[ORDER_TBL].des->position_of))(ch_t,ORDER_TBL,ch_frame->pos);
  REF(69).tsdr = &dr_integer;
/* lookup_at 70 65 69 */
  if((ch_i = REF(69).value.integer) < 0 || ch_i >= (ch_t = REF(65).value
    .table)->size) goto ch_notfound;
  (*(REF(70).tsdr)->finalize)(REF(70).value,F_DISCARD,sched);
  (*(ch_t->tbls[ORDER_TBL].des->lookup_at))
    (ch_t, ORDER_TBL, & REF(70).value,ch_i);
  REF(70).tsdr = qdatarepmap[ch_t->tsdr->number];
/* copy 71 70 */
  if((ch_returncode = (REF(70).tsdr->copy)(& ch_val, REF(70).value
    )) != Normal) goto ch_raise_exception;
  (*(REF(71).tsdr)->finalize)(REF(71).value,F_DISCARD,sched);
  REF(71).value = ch_val;
  REF(71).tsdr = datarepmap[REF(70).tsdr->number];
/* notequal 72 68 71 */
  REF(72).value.boolean = (!(REF(68).tsdr->equal)(REF(68).value,REF(71).value)
    );
  REF(72).tsdr = & dr_boolean;
/* discard 71 */
  (*(REF(71).tsdr)->finalize)(REF(71).value,F_DISCARD,sched);
  REF(71).tsdr = & dr_bottom;
/* branch_false 72 , 254 */
  if ( !REF(72).value.boolean ) goto c254;
/* boolean 66 , TRUE */
  REF(66).value.boolean = TRUE;
  REF(66).tsdr = & dr_boolean;
/* branch , 254 */
   goto c254;
c264:
/* endget 68 67 */
  end_selector(DEF(68),DEF(67),sched,GET);
/* discard 67 */
  (*(REF(67).tsdr)->finalize)(REF(67).value,F_DISCARD,sched);
  REF(67).tsdr = & dr_bottom;
/* branch_false 66 , 273 */
  if ( !REF(66).value.boolean ) goto c273;
/* copy 9 3.4 */
  if((ch_returncode = (REF(3)DOT(4).tsdr->copy)(& ch_val, REF(3)DOT(4).value
    )) != Normal) goto ch_raise_exception;
  (*(REF(9).tsdr)->finalize)(REF(9).value,F_DISCARD,sched);
  REF(9).value = ch_val;
  REF(9).tsdr = datarepmap[REF(3)DOT(4).tsdr->number];
/* chs_lit 73 , "second argument of attribute 'case' not a component of first" */
  if( !chs_lit(DEF(73),
    "second argument of attribute 'case' not a component of first") )
     goto ch_depletion;
/* unite 11 73 , 3 */
  if ((ch_returncode = che_unite(DEF(11),DEF(73),sched,3)) != Normal)
     goto ch_raise_exception;
/* insert 9.2 11 */
  if ((ch_returncode = insertfunc(DEF(9)DOT(2),DEF(11),FALSE,0)) != Normal)
     goto ch_raise_exception;
/* insert 3.5 9 */
  if ((ch_returncode = insertfunc(DEF(3)DOT(5),DEF(9),FALSE,0)) != Normal)
     goto ch_raise_exception;
c273:
/* endblock */
  che_endblock(sched);
/* branch , 283 */
   goto c283;
c275:
/* discard 48 */
  (*(REF(48).tsdr)->finalize)(REF(48).value,F_DISCARD,sched);
  REF(48).tsdr = & dr_bottom;
/* discard 55 */
  (*(REF(55).tsdr)->finalize)(REF(55).value,F_DISCARD,sched);
  REF(55).tsdr = & dr_bottom;
/* boolean 5 , TRUE */
  REF(5).value.boolean = TRUE;
  REF(5).tsdr = & dr_boolean;
/* branch , 283 */
   goto c283;
c280:
/* discard 55 */
  (*(REF(55).tsdr)->finalize)(REF(55).value,F_DISCARD,sched);
  REF(55).tsdr = & dr_bottom;
/* boolean 5 , TRUE */
  REF(5).value.boolean = TRUE;
  REF(5).tsdr = & dr_boolean;
c283:
/* discard 48 */
  (*(REF(48).tsdr)->finalize)(REF(48).value,F_DISCARD,sched);
  REF(48).tsdr = & dr_bottom;
/* discard 55 */
  (*(REF(55).tsdr)->finalize)(REF(55).value,F_DISCARD,sched);
  REF(55).tsdr = & dr_bottom;
c285:
/* discard 19 */
  (*(REF(19).tsdr)->finalize)(REF(19).value,F_DISCARD,sched);
  REF(19).tsdr = & dr_bottom;
/* discard 45 */
  (*(REF(45).tsdr)->finalize)(REF(45).value,F_DISCARD,sched);
  REF(45).tsdr = & dr_bottom;
/* branch , 9 */
   goto c9;
c288:
/* size 74 7.1 */
  REF(74).value.integer = REF(7)DOT(1).value.table->size;
  REF(74).tsdr = & dr_integer;
/* equal . 74 =(1) , 299 */
  if ( REF(74).value.integer == 1 ) goto c299;
/* copy 9 3.4 */
  if((ch_returncode = (REF(3)DOT(4).tsdr->copy)(& ch_val, REF(3)DOT(4).value
    )) != Normal) goto ch_raise_exception;
  (*(REF(9).tsdr)->finalize)(REF(9).value,F_DISCARD,sched);
  REF(9).value = ch_val;
  REF(9).tsdr = datarepmap[REF(3)DOT(4).tsdr->number];
/* chs_lit 75 , "typestate attribute 'initialized' with wrong number arguments" */
  if( !chs_lit(DEF(75),
    "typestate attribute 'initialized' with wrong number arguments") )
     goto ch_depletion;
/* unite 11 75 , 3 */
  if ((ch_returncode = che_unite(DEF(11),DEF(75),sched,3)) != Normal)
     goto ch_raise_exception;
/* insert 9.2 11 */
  if ((ch_returncode = insertfunc(DEF(9)DOT(2),DEF(11),FALSE,0)) != Normal)
     goto ch_raise_exception;
/* insert 3.5 9 */
  if ((ch_returncode = insertfunc(DEF(3)DOT(5),DEF(9),FALSE,0)) != Normal)
     goto ch_raise_exception;
/* branch , 314 */
   goto c314;
c299:
/* block , 9 */
  if((ch_returncode = che_block(QUAL(9),sched)) != Normal)
     goto ch_raise_exception;
/* copy 76 3.1 */
  if((ch_returncode = (REF(3)DOT(1).tsdr->copy)(& ch_val, REF(3)DOT(1).value
    )) != Normal) goto ch_raise_exception;
  (*(REF(76).tsdr)->finalize)(REF(76).value,F_DISCARD,sched);
  REF(76).value = ch_val;
  REF(76).tsdr = datarepmap[REF(3)DOT(1).tsdr->number];
/* copy 19 3.4 */
  if((ch_returncode = (REF(3)DOT(4).tsdr->copy)(& ch_val, REF(3)DOT(4).value
    )) != Normal) goto ch_raise_exception;
  (*(REF(19).tsdr)->finalize)(REF(19).value,F_DISCARD,sched);
  REF(19).value = ch_val;
  REF(19).tsdr = datarepmap[REF(3)DOT(4).tsdr->number];
/* chs_lit 77 , " of typestate attribute 'initialized'" */
  if( !chs_lit(DEF(77)," of typestate attribute 'initialized'") )
     goto ch_depletion;
/* unite 11 77 , 3 */
  if ((ch_returncode = che_unite(DEF(11),DEF(77),sched,3)) != Normal)
     goto ch_raise_exception;
/* insert 19.2 11 */
  if ((ch_returncode = insertfunc(DEF(19)DOT(2),DEF(11),FALSE,0)) != Normal)
     goto ch_raise_exception;
/* lookup_at 78 7.1 =(0) */
  if ( !((ch_t = REF(7)DOT(1).value.table)->size) ) goto ch_notfound;
  (*(REF(78).tsdr)->finalize)(REF(78).value,F_DISCARD,sched);
  (*(ch_t->tbls[ORDER_TBL].des->lookup_at))
    (ch_t, ORDER_TBL, & REF(78).value,0);
  REF(78).tsdr = qdatarepmap[ch_t->tsdr->number];
/* copy 79 78 */
  if((ch_returncode = (REF(78).tsdr->copy)(& ch_val, REF(78).value
    )) != Normal) goto ch_raise_exception;
  (*(REF(79).tsdr)->finalize)(REF(79).value,F_DISCARD,sched);
  REF(79).value = ch_val;
  REF(79).tsdr = datarepmap[REF(78).tsdr->number];
  current->ip = 38;
cb309:
/* call 3.6 79 76 3.2 19 3.5 , 5 */
  if ((ch_returncode = che_call((
          arguments[0] = DEF(3)DOT(6),
          arguments[1] = DEF(79),
          arguments[2] = DEF(76),
          arguments[3] = DEF(3)DOT(2),
          arguments[4] = DEF(19),
          arguments[5] = DEF(3)DOT(5),
          arguments[5+1] = nil,& arguments[0]),QUAL(5),sched)) != Normal)
     goto ch_raise_exception;
  return;
c310:
/* endblock */
  che_endblock(sched);
/* branch , 314 */
   goto c314;
c312:
/* boolean 5 , TRUE */
  REF(5).value.boolean = TRUE;
  REF(5).tsdr = & dr_boolean;
c314:
/* discard 19 */
  (*(REF(19).tsdr)->finalize)(REF(19).value,F_DISCARD,sched);
  REF(19).tsdr = & dr_bottom;
/* discard 76 */
  (*(REF(76).tsdr)->finalize)(REF(76).value,F_DISCARD,sched);
  REF(76).tsdr = & dr_bottom;
/* discard 79 */
  (*(REF(79).tsdr)->finalize)(REF(79).value,F_DISCARD,sched);
  REF(79).tsdr = & dr_bottom;
/* branch , 9 */
   goto c9;
c320:
/* endget 7 6 */
  end_selector(DEF(7),DEF(6),sched,GET);
/* discard 6 */
  (*(REF(6).tsdr)->finalize)(REF(6).value,F_DISCARD,sched);
  REF(6).tsdr = & dr_bottom;
/* size 80 3.5 */
  REF(80).value.integer = REF(3)DOT(5).value.table->size;
  REF(80).tsdr = & dr_integer;
/* notequal 81 80 4 */
  REF(81).value.boolean = (REF(80).value.integer != REF(4).value.integer);
  REF(81).tsdr = & dr_boolean;
/* or 82 81 5 */
  REF(82).value.boolean = REF(81).value.boolean|REF(5).value.boolean;
  REF(82).tsdr = & dr_boolean;
/* branch_false 82 , 327 */
  if ( !REF(82).value.boolean ) goto c327;
/* exit , 10 */
  ch_e = handler_type__exit; ch_val = QUAL(10); goto ch_exception;
c327:
/* block , 11 */
  if((ch_returncode = che_block(QUAL(11),sched)) != Normal)
     goto ch_raise_exception;
/* new_record 83 , 2 */
  if ((ch_val.record = new_record(2)) == nil) goto ch_depletion;
  (*(REF(83).tsdr)->finalize)(REF(83).value,F_DISCARD,sched);
  REF(83).value = ch_val; REF(83).tsdr = & dr_record;
/* size 84 3.0 */
  REF(84).value.integer = REF(3)DOT(0).value.table->size;
  REF(84).tsdr = & dr_integer;
/* ile . 84 =(0) , 348 */
  if ( REF(84).value.integer <= 0 ) goto c348;
/* unite 83.0 85 , 0 */
  if ((ch_returncode = che_unite(DEF(83)DOT(0),DEF(85),sched,0)) != Normal)
     goto ch_raise_exception;
/* new_table 83.1 , 12 */
  if ((ch_returncode = che_new_table(DEF(83)DOT(1),QUAL(12)
    ,sched)) != Normal)  goto ch_raise_exception;
/* new_table 86 , 12 */
  if ((ch_returncode = che_new_table(DEF(86),QUAL(12),sched)) != Normal) 
     goto ch_raise_exception;
/* insert 83.1 86 */
  if ((ch_returncode = insertfunc(DEF(83)DOT(1),DEF(86),FALSE,0)) != Normal)
     goto ch_raise_exception;
/* boolean 87 , FALSE */
  REF(87).value.boolean = FALSE;
  REF(87).tsdr = & dr_boolean;
/* find_or_goto 88 3.0 83 , 0,340 */
  if (findfunc(DEF(88),DEF(3)DOT(0),(
          arguments[0] = DEF(83),& arguments[0]),sched,0) == FAILURE) goto c340;
/* boolean 87 , TRUE */
  REF(87).value.boolean = TRUE;
  REF(87).tsdr = & dr_boolean;
c340:
/* not 89 87 */
  REF(89).value.boolean = !REF(87).value.boolean;
  REF(89).tsdr = & dr_boolean;
/* branch_false 89 , 348 */
  if ( !REF(89).value.boolean ) goto c348;
/* copy 9 3.4 */
  if((ch_returncode = (REF(3)DOT(4).tsdr->copy)(& ch_val, REF(3)DOT(4).value
    )) != Normal) goto ch_raise_exception;
  (*(REF(9).tsdr)->finalize)(REF(9).value,F_DISCARD,sched);
  REF(9).value = ch_val;
  REF(9).tsdr = datarepmap[REF(3)DOT(4).tsdr->number];
/* chs_lit 90 , "init(*) or init(<root_variable>) not present in non-empty typestate" */
  if( !chs_lit(DEF(90),
    "init(*) or init(<root_variable>) not present in non-empty typestate") )
     goto ch_depletion;
/* unite 11 90 , 3 */
  if ((ch_returncode = che_unite(DEF(11),DEF(90),sched,3)) != Normal)
     goto ch_raise_exception;
/* insert 9.2 11 */
  if ((ch_returncode = insertfunc(DEF(9)DOT(2),DEF(11),FALSE,0)) != Normal)
     goto ch_raise_exception;
/* insert 3.5 9 */
  if ((ch_returncode = insertfunc(DEF(3)DOT(5),DEF(9),FALSE,0)) != Normal)
     goto ch_raise_exception;
c348:
/* discard 83.0 */
  (*(REF(83)DOT(0).tsdr)->finalize)(REF(83)DOT(0).value,F_DISCARD,sched);
  REF(83)DOT(0).tsdr = & dr_bottom;
/* discard 83.1 */
  (*(REF(83)DOT(1).tsdr)->finalize)(REF(83)DOT(1).value,F_DISCARD,sched);
  REF(83)DOT(1).tsdr = & dr_bottom;
/* copy 91 3.0 */
  if((ch_returncode = cp_table(& ch_val, REF(3)DOT(0).value)) != Normal)
     goto ch_raise_exception;
  (*(REF(91).tsdr)->finalize)(REF(91).value,F_DISCARD,sched);
  REF(91).value = ch_val;
  REF(91).tsdr = & dr_table;
/* initget 92 91 , 0,0 */
  (*(REF(92).tsdr)->finalize)(REF(92).value,F_DISCARD,sched);
  if ((ch_returncode = init_selector(DEF(92),DEF(91),nil,sched,GET,0,0
    )) != Normal) goto ch_raise_exception;
c352:
/* get_or_goto 92 91 , 768 */
  if ((ch_returncode = get_selected_object(DEF(92),DEF(91),sched)) != Normal)
     goto c768;
/* case 93 92.0 */
  REF(93).value.enumeration = REF(92)DOT(0).value.variant->info.variant_case;
  REF(93).tsdr = & dr_enumeration;
/* equal . 93 =(5) , 368 */
  if ( REF(93).value.enumeration == 5 ) goto c368;
/* equal . 93 =(4) , 370 */
  if ( REF(93).value.enumeration == 4 ) goto c370;
/* equal . 93 =(3) , 440 */
  if ( REF(93).value.enumeration == 3 ) goto c440;
/* equal . 93 =(2) , 488 */
  if ( REF(93).value.enumeration == 2 ) goto c488;
/* equal . 93 =(1) , 536 */
  if ( REF(93).value.enumeration == 1 ) goto c536;
/* equal . 93 =(0) , 667 */
  if ( REF(93).value.enumeration == 0 ) goto c667;
/* branch , 760 */
   goto c760;
c368:
/* exit , 13 */
  ch_e = handler_type__exit; ch_val = QUAL(13); goto ch_exception;
c370:
/* unite 83.0 85 , 0 */
  if ((ch_returncode = che_unite(DEF(83)DOT(0),DEF(85),sched,0)) != Normal)
     goto ch_raise_exception;
/* copy 94 92.1 */
  if((ch_returncode = cp_table(& ch_val, REF(92)DOT(1).value)) != Normal)
     goto ch_raise_exception;
  (*(REF(94).tsdr)->finalize)(REF(94).value,F_DISCARD,sched);
  REF(94).value = ch_val;
  REF(94).tsdr = & dr_table;
/* initget 95 94 , 0,0 */
  (*(REF(95).tsdr)->finalize)(REF(95).value,F_DISCARD,sched);
  if ((ch_returncode = init_selector(DEF(95),DEF(94),nil,sched,GET,0,0
    )) != Normal) goto ch_raise_exception;
c373:
/* get_or_goto 95 94 , 390 */
  if ((ch_returncode = get_selected_object(DEF(95),DEF(94),sched)) != Normal)
     goto c390;
/* discard 83.1 */
  (*(REF(83)DOT(1).tsdr)->finalize)(REF(83)DOT(1).value,F_DISCARD,sched);
  REF(83)DOT(1).tsdr = & dr_bottom;
/* new_table 83.1 , 12 */
  if ((ch_returncode = che_new_table(DEF(83)DOT(1),QUAL(12)
    ,sched)) != Normal)  goto ch_raise_exception;
/* copy 96 95 */
  if((ch_returncode = (REF(95).tsdr->copy)(& ch_val, REF(95).value
    )) != Normal) goto ch_raise_exception;
  (*(REF(96).tsdr)->finalize)(REF(96).value,F_DISCARD,sched);
  REF(96).value = ch_val;
  REF(96).tsdr = datarepmap[REF(95).tsdr->number];
/* insert 83.1 96 */
  if ((ch_returncode = insertfunc(DEF(83)DOT(1),DEF(96),FALSE,0)) != Normal)
     goto ch_raise_exception;
/* boolean 97 , FALSE */
  REF(97).value.boolean = FALSE;
  REF(97).tsdr = & dr_boolean;
/* find_or_goto 98 3.0 83 , 0,381 */
  if (findfunc(DEF(98),DEF(3)DOT(0),(
          arguments[0] = DEF(83),& arguments[0]),sched,0) == FAILURE) goto c381;
/* boolean 97 , TRUE */
  REF(97).value.boolean = TRUE;
  REF(97).tsdr = & dr_boolean;
c381:
/* not 99 97 */
  REF(99).value.boolean = !REF(97).value.boolean;
  REF(99).tsdr = & dr_boolean;
/* branch_false 99 , 373 */
  if ( !REF(99).value.boolean ) goto c373;
/* copy 9 3.4 */
  if((ch_returncode = (REF(3)DOT(4).tsdr->copy)(& ch_val, REF(3)DOT(4).value
    )) != Normal) goto ch_raise_exception;
  (*(REF(9).tsdr)->finalize)(REF(9).value,F_DISCARD,sched);
  REF(9).value = ch_val;
  REF(9).tsdr = datarepmap[REF(3)DOT(4).tsdr->number];
/* chs_lit 100 , "argument of constraint attribute not init" */
  if( !chs_lit(DEF(100),"argument of constraint attribute not init") )
     goto ch_depletion;
/* unite 11 100 , 3 */
  if ((ch_returncode = che_unite(DEF(11),DEF(100),sched,3)) != Normal)
     goto ch_raise_exception;
/* insert 9.2 11 */
  if ((ch_returncode = insertfunc(DEF(9)DOT(2),DEF(11),FALSE,0)) != Normal)
     goto ch_raise_exception;
/* insert 3.5 9 */
  if ((ch_returncode = insertfunc(DEF(3)DOT(5),DEF(9),FALSE,0)) != Normal)
     goto ch_raise_exception;
/* branch , 373 */
   goto c373;
c390:
/* endget 95 94 */
  end_selector(DEF(95),DEF(94),sched,GET);
/* discard 94 */
  (*(REF(94).tsdr)->finalize)(REF(94).value,F_DISCARD,sched);
  REF(94).tsdr = & dr_bottom;
/* reveal 92.0 , 4 */
  if (4 != REF(92)DOT(0).value.variant->info.variant_case) goto ch_case_error;
/* find 101 3.2 92.0.0.0 , 0 */
  if (findfunc(DEF(101),DEF(3)DOT(2),(
          arguments[0] = DEF(92)DOT(0)DOT(0)DOT(0),& arguments[0]),sched,0
            ) == FAILURE) goto ch_notfound;
/* find 102 101.2 92.0.0.1 , 0 */
  if (findfunc(DEF(102),DEF(101)DOT(2),(
          arguments[0] = DEF(92)DOT(0)DOT(0)DOT(1),& arguments[0]),sched,0
            ) == FAILURE) goto ch_notfound;
/* copy 103 102.4 */
  if((ch_returncode = cp_table(& ch_val, REF(102)DOT(4).value)) != Normal)
     goto ch_raise_exception;
  (*(REF(103).tsdr)->finalize)(REF(103).value,F_DISCARD,sched);
  REF(103).value = ch_val;
  REF(103).tsdr = & dr_table;
/* initget 104 103 , 0,0 */
  (*(REF(104).tsdr)->finalize)(REF(104).value,F_DISCARD,sched);
  if ((ch_returncode = init_selector(DEF(104),DEF(103),nil,sched,GET,0,0
    )) != Normal) goto ch_raise_exception;
c397:
/* get_or_goto 104 103 , 436 */
  if ((ch_returncode = get_selected_object(DEF(104),DEF(103)
    ,sched)) != Normal) goto c436;
/* discard 83.1 */
  (*(REF(83)DOT(1).tsdr)->finalize)(REF(83)DOT(1).value,F_DISCARD,sched);
  REF(83)DOT(1).tsdr = & dr_bottom;
/* block , 14 */
  if((ch_returncode = che_block(QUAL(14),sched)) != Normal)
     goto ch_raise_exception;
/* new_record 83 , 2 */
  if ((ch_val.record = new_record(2)) == nil) goto ch_depletion;
  (*(REF(83).tsdr)->finalize)(REF(83).value,F_DISCARD,sched);
  REF(83).value = ch_val; REF(83).tsdr = & dr_record;
/* copy 83.0 104.0 */
  if((ch_returncode = cp_variant(& ch_val, REF(104)DOT(0).value)) != Normal)
     goto ch_raise_exception;
  (*(REF(83)DOT(0).tsdr)->finalize)(REF(83)DOT(0).value,F_DISCARD,sched);
  REF(83)DOT(0).value = ch_val;
  REF(83)DOT(0).tsdr = & dr_variant;
/* new_table 83.1 , 12 */
  if ((ch_returncode = che_new_table(DEF(83)DOT(1),QUAL(12)
    ,sched)) != Normal)  goto ch_raise_exception;
/* copy 105 104.1 */
  if((ch_returncode = cp_table(& ch_val, REF(104)DOT(1).value)) != Normal)
     goto ch_raise_exception;
  (*(REF(105).tsdr)->finalize)(REF(105).value,F_DISCARD,sched);
  REF(105).value = ch_val;
  REF(105).tsdr = & dr_table;
/* initget 106 105 , 0,0 */
  (*(REF(106).tsdr)->finalize)(REF(106).value,F_DISCARD,sched);
  if ((ch_returncode = init_selector(DEF(106),DEF(105),nil,sched,GET,0,0
    )) != Normal) goto ch_raise_exception;
c406:
/* get_or_goto 106 105 , 420 */
  if ((ch_returncode = get_selected_object(DEF(106),DEF(105)
    ,sched)) != Normal) goto c420;
/* initget 107 92.1 , 0,0 */
  (*(REF(107).tsdr)->finalize)(REF(107).value,F_DISCARD,sched);
  if ((ch_returncode = init_selector(DEF(107),DEF(92)DOT(1),nil,sched,GET,0,0
    )) != Normal) goto ch_raise_exception;
c408:
/* get_or_err 107 92.1 */
  if ((ch_returncode = get_selected_object(DEF(107),DEF(92)DOT(1)
    ,sched)) != Normal) goto ch_raise_exception;
/* find 108 102.2 106.0.1 , 0 */
  if (findfunc(DEF(108),DEF(102)DOT(2),(
          arguments[0] = DEF(106)DOT(0)DOT(1),& arguments[0]),sched,0
            ) == FAILURE) goto ch_notfound;
/* scan_position 109 108 102.2 */
  ch_t = REF(102)DOT(2).value.table;
  (*(ch_t->tbls[ORDER_TBL].des->foreach))
    (ch_t,ORDER_TBL,do_table_position,& ch_ctr,CONT_FOREACH,REF(108).value);
  REF(109).value.integer = (dfd_integer) ch_ctr;
  REF(109).tsdr = & dr_integer;
/* position 110 107 */
  ch_frame = get_selector_frame(DEF(107),sched);
  ch_t = ch_frame->inspectee->value.table;
  REF(110).value.integer = ch_frame->rmvcount +
    (*(ch_t->tbls[ORDER_TBL].des->position_of))(ch_t,ORDER_TBL,ch_frame->pos);
  REF(110).tsdr = &dr_integer;
/* notequal . 109 110 , 408 */
  if ( REF(109).value.integer != REF(110).value.integer ) goto c408;
/* copy 111 107 */
  if((ch_returncode = cp_table(& ch_val, REF(107).value)) != Normal)
     goto ch_raise_exception;
  (*(REF(111).tsdr)->finalize)(REF(111).value,F_DISCARD,sched);
  REF(111).value = ch_val;
  REF(111).tsdr = & dr_table;
/* endget 107 92.1 */
  end_selector(DEF(107),DEF(92)DOT(1),sched,GET);
/* concat 112 111 106.1 */
  if ((ch_returncode = che_concat(DEF(112),DEF(111),DEF(106)DOT(1)
    ,sched)) != Normal) goto ch_raise_exception;
/* discard 111 */
  (*(REF(111).tsdr)->finalize)(REF(111).value,F_DISCARD,sched);
  REF(111).tsdr = & dr_bottom;
/* insert 83.1 112 */
  if ((ch_returncode = insertfunc(DEF(83)DOT(1),DEF(112),FALSE,0)) != Normal)
     goto ch_raise_exception;
/* branch , 406 */
   goto c406;
c420:
/* endget 106 105 */
  end_selector(DEF(106),DEF(105),sched,GET);
/* discard 105 */
  (*(REF(105).tsdr)->finalize)(REF(105).value,F_DISCARD,sched);
  REF(105).tsdr = & dr_bottom;
/* boolean 113 , FALSE */
  REF(113).value.boolean = FALSE;
  REF(113).tsdr = & dr_boolean;
/* find_or_goto 114 3.0 83 , 0,425 */
  if (findfunc(DEF(114),DEF(3)DOT(0),(
          arguments[0] = DEF(83),& arguments[0]),sched,0) == FAILURE) goto c425;
/* boolean 113 , TRUE */
  REF(113).value.boolean = TRUE;
  REF(113).tsdr = & dr_boolean;
c425:
/* not 115 113 */
  REF(115).value.boolean = !REF(113).value.boolean;
  REF(115).tsdr = & dr_boolean;
/* branch_false 115 , 433 */
  if ( !REF(115).value.boolean ) goto c433;
/* copy 9 3.4 */
  if((ch_returncode = (REF(3)DOT(4).tsdr->copy)(& ch_val, REF(3)DOT(4).value
    )) != Normal) goto ch_raise_exception;
  (*(REF(9).tsdr)->finalize)(REF(9).value,F_DISCARD,sched);
  REF(9).value = ch_val;
  REF(9).tsdr = datarepmap[REF(3)DOT(4).tsdr->number];
/* chs_lit 116 , "part of constraint's typestate not present" */
  if( !chs_lit(DEF(116),"part of constraint's typestate not present") )
     goto ch_depletion;
/* unite 11 116 , 3 */
  if ((ch_returncode = che_unite(DEF(11),DEF(116),sched,3)) != Normal)
     goto ch_raise_exception;
/* insert 9.2 11 */
  if ((ch_returncode = insertfunc(DEF(9)DOT(2),DEF(11),FALSE,0)) != Normal)
     goto ch_raise_exception;
/* insert 3.5 9 */
  if ((ch_returncode = insertfunc(DEF(3)DOT(5),DEF(9),FALSE,0)) != Normal)
     goto ch_raise_exception;
c433:
/* endblock */
  che_endblock(sched);
/* branch , 397 */
   goto c397;
c436:
/* endget 104 103 */
  end_selector(DEF(104),DEF(103),sched,GET);
/* discard 103 */
  (*(REF(103).tsdr)->finalize)(REF(103).value,F_DISCARD,sched);
  REF(103).tsdr = & dr_bottom;
/* branch , 760 */
   goto c760;
c440:
/* block , 15 */
  if((ch_returncode = che_block(QUAL(15),sched)) != Normal)
     goto ch_raise_exception;
/* unite 83.0 85 , 5 */
  if ((ch_returncode = che_unite(DEF(83)DOT(0),DEF(85),sched,5)) != Normal)
     goto ch_raise_exception;
/* new_table 83.1 , 12 */
  if ((ch_returncode = che_new_table(DEF(83)DOT(1),QUAL(12)
    ,sched)) != Normal)  goto ch_raise_exception;
/* new_table 117 , 12 */
  if ((ch_returncode = che_new_table(DEF(117),QUAL(12),sched)) != Normal) 
     goto ch_raise_exception;
/* insert 83.1 117 */
  if ((ch_returncode = insertfunc(DEF(83)DOT(1),DEF(117),FALSE,0)) != Normal)
     goto ch_raise_exception;
/* new_table 118 , 16 */
  if ((ch_returncode = che_new_table(DEF(118),QUAL(16),sched)) != Normal) 
     goto ch_raise_exception;
/* copy 119 83 */
  if((ch_returncode = cp_record(& ch_val, REF(83).value)) != Normal)
     goto ch_raise_exception;
  (*(REF(119).tsdr)->finalize)(REF(119).value,F_DISCARD,sched);
  REF(119).value = ch_val;
  REF(119).tsdr = & dr_record;
/* insert 118 119 */
  if ((ch_returncode = insertfunc(DEF(118),DEF(119),FALSE,0)) != Normal)
     goto ch_raise_exception;
  current->ip = 51;
cb449:
/* call 3.7 3.2 118 3.3.0 3.4 3.5 , 17 */
  if ((ch_returncode = che_call((
          arguments[0] = DEF(3)DOT(7),
          arguments[1] = DEF(3)DOT(2),
          arguments[2] = DEF(118),
          arguments[3] = DEF(3)DOT(3)DOT(0),
          arguments[4] = DEF(3)DOT(4),
          arguments[5] = DEF(3)DOT(5),
          arguments[5+1] = nil,& arguments[0]),QUAL(17),sched)) != Normal)
     goto ch_raise_exception;
  return;
c450:
/* copy 120 118 */
  if((ch_returncode = cp_table(& ch_val, REF(118).value)) != Normal)
     goto ch_raise_exception;
  (*(REF(120).tsdr)->finalize)(REF(120).value,F_DISCARD,sched);
  REF(120).value = ch_val;
  REF(120).tsdr = & dr_table;
/* initget 121 120 , 0,0 */
  (*(REF(121).tsdr)->finalize)(REF(121).value,F_DISCARD,sched);
  if ((ch_returncode = init_selector(DEF(121),DEF(120),nil,sched,GET,0,0
    )) != Normal) goto ch_raise_exception;
c452:
/* get_or_goto 121 120 , 482 */
  if ((ch_returncode = get_selected_object(DEF(121),DEF(120)
    ,sched)) != Normal) goto c482;
/* new_record 83 , 2 */
  if ((ch_val.record = new_record(2)) == nil) goto ch_depletion;
  (*(REF(83).tsdr)->finalize)(REF(83).value,F_DISCARD,sched);
  REF(83).value = ch_val; REF(83).tsdr = & dr_record;
/* copy 83.0 121.0 */
  if((ch_returncode = cp_variant(& ch_val, REF(121)DOT(0).value)) != Normal)
     goto ch_raise_exception;
  (*(REF(83)DOT(0).tsdr)->finalize)(REF(83)DOT(0).value,F_DISCARD,sched);
  REF(83)DOT(0).value = ch_val;
  REF(83)DOT(0).tsdr = & dr_variant;
/* new_table 83.1 , 12 */
  if ((ch_returncode = che_new_table(DEF(83)DOT(1),QUAL(12)
    ,sched)) != Normal)  goto ch_raise_exception;
/* copy 122 121.1 */
  if((ch_returncode = cp_table(& ch_val, REF(121)DOT(1).value)) != Normal)
     goto ch_raise_exception;
  (*(REF(122).tsdr)->finalize)(REF(122).value,F_DISCARD,sched);
  REF(122).value = ch_val;
  REF(122).tsdr = & dr_table;
/* initget 123 122 , 0,0 */
  (*(REF(123).tsdr)->finalize)(REF(123).value,F_DISCARD,sched);
  if ((ch_returncode = init_selector(DEF(123),DEF(122),nil,sched,GET,0,0
    )) != Normal) goto ch_raise_exception;
c459:
/* get_or_goto 123 122 , 467 */
  if ((ch_returncode = get_selected_object(DEF(123),DEF(122)
    ,sched)) != Normal) goto c467;
/* lookup_at 124 92.1 =(0) */
  if ( !((ch_t = REF(92)DOT(1).value.table)->size) ) goto ch_notfound;
  (*(REF(124).tsdr)->finalize)(REF(124).value,F_DISCARD,sched);
  (*(ch_t->tbls[ORDER_TBL].des->lookup_at))
    (ch_t, ORDER_TBL, & REF(124).value,0);
  REF(124).tsdr = qdatarepmap[ch_t->tsdr->number];
/* copy 125 124 */
  if((ch_returncode = cp_table(& ch_val, REF(124).value)) != Normal)
     goto ch_raise_exception;
  (*(REF(125).tsdr)->finalize)(REF(125).value,F_DISCARD,sched);
  REF(125).value = ch_val;
  REF(125).tsdr = & dr_table;
/* concat 126 125 123 */
  if ((ch_returncode = che_concat(DEF(126),DEF(125),DEF(123)
    ,sched)) != Normal) goto ch_raise_exception;
/* discard 125 */
  (*(REF(125).tsdr)->finalize)(REF(125).value,F_DISCARD,sched);
  REF(125).tsdr = & dr_bottom;
/* insert 83.1 126 */
  if ((ch_returncode = insertfunc(DEF(83)DOT(1),DEF(126),FALSE,0)) != Normal)
     goto ch_raise_exception;
/* branch , 459 */
   goto c459;
c467:
/* endget 123 122 */
  end_selector(DEF(123),DEF(122),sched,GET);
/* discard 122 */
  (*(REF(122).tsdr)->finalize)(REF(122).value,F_DISCARD,sched);
  REF(122).tsdr = & dr_bottom;
/* boolean 127 , FALSE */
  REF(127).value.boolean = FALSE;
  REF(127).tsdr = & dr_boolean;
/* find_or_goto 128 3.0 83 , 0,472 */
  if (findfunc(DEF(128),DEF(3)DOT(0),(
          arguments[0] = DEF(83),& arguments[0]),sched,0) == FAILURE) goto c472;
/* boolean 127 , TRUE */
  REF(127).value.boolean = TRUE;
  REF(127).tsdr = & dr_boolean;
c472:
/* not 129 127 */
  REF(129).value.boolean = !REF(127).value.boolean;
  REF(129).tsdr = & dr_boolean;
/* branch_false 129 , 452 */
  if ( !REF(129).value.boolean ) goto c452;
/* copy 9 3.4 */
  if((ch_returncode = (REF(3)DOT(4).tsdr->copy)(& ch_val, REF(3)DOT(4).value
    )) != Normal) goto ch_raise_exception;
  (*(REF(9).tsdr)->finalize)(REF(9).value,F_DISCARD,sched);
  REF(9).value = ch_val;
  REF(9).tsdr = datarepmap[REF(3)DOT(4).tsdr->number];
/* chs_lit 130 , "argument of attribute 'checkeddefinitions' not full" */
  if( !chs_lit(DEF(130),"argument of attribute 'checkeddefinitions' not full"
    ) ) goto ch_depletion;
/* unite 11 130 , 3 */
  if ((ch_returncode = che_unite(DEF(11),DEF(130),sched,3)) != Normal)
     goto ch_raise_exception;
/* insert 9.2 11 */
  if ((ch_returncode = insertfunc(DEF(9)DOT(2),DEF(11),FALSE,0)) != Normal)
     goto ch_raise_exception;
/* insert 3.5 9 */
  if ((ch_returncode = insertfunc(DEF(3)DOT(5),DEF(9),FALSE,0)) != Normal)
     goto ch_raise_exception;
/* exit , 18 */
  ch_e = handler_type__exit; ch_val = QUAL(18); goto ch_exception;
c482:
/* endget 121 120 */
  end_selector(DEF(121),DEF(120),sched,GET);
/* discard 120 */
  (*(REF(120).tsdr)->finalize)(REF(120).value,F_DISCARD,sched);
  REF(120).tsdr = & dr_bottom;
/* endblock */
  che_endblock(sched);
/* branch , 760 */
   goto c760;
c488:
/* block , 15 */
  if((ch_returncode = che_block(QUAL(15),sched)) != Normal)
     goto ch_raise_exception;
/* unite 83.0 85 , 5 */
  if ((ch_returncode = che_unite(DEF(83)DOT(0),DEF(85),sched,5)) != Normal)
     goto ch_raise_exception;
/* new_table 83.1 , 12 */
  if ((ch_returncode = che_new_table(DEF(83)DOT(1),QUAL(12)
    ,sched)) != Normal)  goto ch_raise_exception;
/* new_table 131 , 12 */
  if ((ch_returncode = che_new_table(DEF(131),QUAL(12),sched)) != Normal) 
     goto ch_raise_exception;
/* insert 83.1 131 */
  if ((ch_returncode = insertfunc(DEF(83)DOT(1),DEF(131),FALSE,0)) != Normal)
     goto ch_raise_exception;
/* new_table 132 , 16 */
  if ((ch_returncode = che_new_table(DEF(132),QUAL(16),sched)) != Normal) 
     goto ch_raise_exception;
/* copy 133 83 */
  if((ch_returncode = cp_record(& ch_val, REF(83).value)) != Normal)
     goto ch_raise_exception;
  (*(REF(133).tsdr)->finalize)(REF(133).value,F_DISCARD,sched);
  REF(133).value = ch_val;
  REF(133).tsdr = & dr_record;
/* insert 132 133 */
  if ((ch_returncode = insertfunc(DEF(132),DEF(133),FALSE,0)) != Normal)
     goto ch_raise_exception;
  current->ip = 57;
cb497:
/* call 3.7 3.2 132 3.3.1 3.4 3.5 , 17 */
  if ((ch_returncode = che_call((
          arguments[0] = DEF(3)DOT(7),
          arguments[1] = DEF(3)DOT(2),
          arguments[2] = DEF(132),
          arguments[3] = DEF(3)DOT(3)DOT(1),
          arguments[4] = DEF(3)DOT(4),
          arguments[5] = DEF(3)DOT(5),
          arguments[5+1] = nil,& arguments[0]),QUAL(17),sched)) != Normal)
     goto ch_raise_exception;
  return;
c498:
/* copy 134 132 */
  if((ch_returncode = cp_table(& ch_val, REF(132).value)) != Normal)
     goto ch_raise_exception;
  (*(REF(134).tsdr)->finalize)(REF(134).value,F_DISCARD,sched);
  REF(134).value = ch_val;
  REF(134).tsdr = & dr_table;
/* initget 135 134 , 0,0 */
  (*(REF(135).tsdr)->finalize)(REF(135).value,F_DISCARD,sched);
  if ((ch_returncode = init_selector(DEF(135),DEF(134),nil,sched,GET,0,0
    )) != Normal) goto ch_raise_exception;
c500:
/* get_or_goto 135 134 , 530 */
  if ((ch_returncode = get_selected_object(DEF(135),DEF(134)
    ,sched)) != Normal) goto c530;
/* new_record 83 , 2 */
  if ((ch_val.record = new_record(2)) == nil) goto ch_depletion;
  (*(REF(83).tsdr)->finalize)(REF(83).value,F_DISCARD,sched);
  REF(83).value = ch_val; REF(83).tsdr = & dr_record;
/* copy 83.0 135.0 */
  if((ch_returncode = cp_variant(& ch_val, REF(135)DOT(0).value)) != Normal)
     goto ch_raise_exception;
  (*(REF(83)DOT(0).tsdr)->finalize)(REF(83)DOT(0).value,F_DISCARD,sched);
  REF(83)DOT(0).value = ch_val;
  REF(83)DOT(0).tsdr = & dr_variant;
/* new_table 83.1 , 12 */
  if ((ch_returncode = che_new_table(DEF(83)DOT(1),QUAL(12)
    ,sched)) != Normal)  goto ch_raise_exception;
/* copy 136 135.1 */
  if((ch_returncode = cp_table(& ch_val, REF(135)DOT(1).value)) != Normal)
     goto ch_raise_exception;
  (*(REF(136).tsdr)->finalize)(REF(136).value,F_DISCARD,sched);
  REF(136).value = ch_val;
  REF(136).tsdr = & dr_table;
/* initget 137 136 , 0,0 */
  (*(REF(137).tsdr)->finalize)(REF(137).value,F_DISCARD,sched);
  if ((ch_returncode = init_selector(DEF(137),DEF(136),nil,sched,GET,0,0
    )) != Normal) goto ch_raise_exception;
c507:
/* get_or_goto 137 136 , 515 */
  if ((ch_returncode = get_selected_object(DEF(137),DEF(136)
    ,sched)) != Normal) goto c515;
/* lookup_at 138 92.1 =(0) */
  if ( !((ch_t = REF(92)DOT(1).value.table)->size) ) goto ch_notfound;
  (*(REF(138).tsdr)->finalize)(REF(138).value,F_DISCARD,sched);
  (*(ch_t->tbls[ORDER_TBL].des->lookup_at))
    (ch_t, ORDER_TBL, & REF(138).value,0);
  REF(138).tsdr = qdatarepmap[ch_t->tsdr->number];
/* copy 139 138 */
  if((ch_returncode = cp_table(& ch_val, REF(138).value)) != Normal)
     goto ch_raise_exception;
  (*(REF(139).tsdr)->finalize)(REF(139).value,F_DISCARD,sched);
  REF(139).value = ch_val;
  REF(139).tsdr = & dr_table;
/* concat 140 139 137 */
  if ((ch_returncode = che_concat(DEF(140),DEF(139),DEF(137)
    ,sched)) != Normal) goto ch_raise_exception;
/* discard 139 */
  (*(REF(139).tsdr)->finalize)(REF(139).value,F_DISCARD,sched);
  REF(139).tsdr = & dr_bottom;
/* insert 83.1 140 */
  if ((ch_returncode = insertfunc(DEF(83)DOT(1),DEF(140),FALSE,0)) != Normal)
     goto ch_raise_exception;
/* branch , 507 */
   goto c507;
c515:
/* endget 137 136 */
  end_selector(DEF(137),DEF(136),sched,GET);
/* discard 136 */
  (*(REF(136).tsdr)->finalize)(REF(136).value,F_DISCARD,sched);
  REF(136).tsdr = & dr_bottom;
/* boolean 141 , FALSE */
  REF(141).value.boolean = FALSE;
  REF(141).tsdr = & dr_boolean;
/* find_or_goto 142 3.0 83 , 0,520 */
  if (findfunc(DEF(142),DEF(3)DOT(0),(
          arguments[0] = DEF(83),& arguments[0]),sched,0) == FAILURE) goto c520;
/* boolean 141 , TRUE */
  REF(141).value.boolean = TRUE;
  REF(141).tsdr = & dr_boolean;
c520:
/* not 143 141 */
  REF(143).value.boolean = !REF(141).value.boolean;
  REF(143).tsdr = & dr_boolean;
/* branch_false 143 , 500 */
  if ( !REF(143).value.boolean ) goto c500;
/* copy 9 3.4 */
  if((ch_returncode = (REF(3)DOT(4).tsdr->copy)(& ch_val, REF(3)DOT(4).value
    )) != Normal) goto ch_raise_exception;
  (*(REF(9).tsdr)->finalize)(REF(9).value,F_DISCARD,sched);
  REF(9).value = ch_val;
  REF(9).tsdr = datarepmap[REF(3)DOT(4).tsdr->number];
/* chs_lit 144 , "argument of attribute 'checked' not full" */
  if( !chs_lit(DEF(144),"argument of attribute 'checked' not full") )
     goto ch_depletion;
/* unite 11 144 , 3 */
  if ((ch_returncode = che_unite(DEF(11),DEF(144),sched,3)) != Normal)
     goto ch_raise_exception;
/* insert 9.2 11 */
  if ((ch_returncode = insertfunc(DEF(9)DOT(2),DEF(11),FALSE,0)) != Normal)
     goto ch_raise_exception;
/* insert 3.5 9 */
  if ((ch_returncode = insertfunc(DEF(3)DOT(5),DEF(9),FALSE,0)) != Normal)
     goto ch_raise_exception;
/* exit , 18 */
  ch_e = handler_type__exit; ch_val = QUAL(18); goto ch_exception;
c530:
/* endget 135 134 */
  end_selector(DEF(135),DEF(134),sched,GET);
/* discard 134 */
  (*(REF(134).tsdr)->finalize)(REF(134).value,F_DISCARD,sched);
  REF(134).tsdr = & dr_bottom;
/* endblock */
  che_endblock(sched);
/* branch , 760 */
   goto c760;
c536:
/* unite 83.0 85 , 0 */
  if ((ch_returncode = che_unite(DEF(83)DOT(0),DEF(85),sched,0)) != Normal)
     goto ch_raise_exception;
/* new_table 83.1 , 12 */
  if ((ch_returncode = che_new_table(DEF(83)DOT(1),QUAL(12)
    ,sched)) != Normal)  goto ch_raise_exception;
/* lookup_at 145 92.1 =(0) */
  if ( !((ch_t = REF(92)DOT(1).value.table)->size) ) goto ch_notfound;
  (*(REF(145).tsdr)->finalize)(REF(145).value,F_DISCARD,sched);
  (*(ch_t->tbls[ORDER_TBL].des->lookup_at))
    (ch_t, ORDER_TBL, & REF(145).value,0);
  REF(145).tsdr = qdatarepmap[ch_t->tsdr->number];
/* copy 146 145 */
  if((ch_returncode = (REF(145).tsdr->copy)(& ch_val, REF(145).value
    )) != Normal) goto ch_raise_exception;
  (*(REF(146).tsdr)->finalize)(REF(146).value,F_DISCARD,sched);
  REF(146).value = ch_val;
  REF(146).tsdr = datarepmap[REF(145).tsdr->number];
/* copy 147 146 */
  if((ch_returncode = (REF(146).tsdr->copy)(& ch_val, REF(146).value
    )) != Normal) goto ch_raise_exception;
  (*(REF(147).tsdr)->finalize)(REF(147).value,F_DISCARD,sched);
  REF(147).value = ch_val;
  REF(147).tsdr = datarepmap[REF(146).tsdr->number];
/* discard 146 */
  (*(REF(146).tsdr)->finalize)(REF(146).value,F_DISCARD,sched);
  REF(146).tsdr = & dr_bottom;
/* insert 83.1 147 */
  if ((ch_returncode = insertfunc(DEF(83)DOT(1),DEF(147),FALSE,0)) != Normal)
     goto ch_raise_exception;
/* boolean 148 , FALSE */
  REF(148).value.boolean = FALSE;
  REF(148).tsdr = & dr_boolean;
/* find_or_goto 149 3.0 83 , 0,547 */
  if (findfunc(DEF(149),DEF(3)DOT(0),(
          arguments[0] = DEF(83),& arguments[0]),sched,0) == FAILURE) goto c547;
/* boolean 148 , TRUE */
  REF(148).value.boolean = TRUE;
  REF(148).tsdr = & dr_boolean;
c547:
/* not 150 148 */
  REF(150).value.boolean = !REF(148).value.boolean;
  REF(150).tsdr = & dr_boolean;
/* branch_false 150 , 555 */
  if ( !REF(150).value.boolean ) goto c555;
/* copy 9 3.4 */
  if((ch_returncode = (REF(3)DOT(4).tsdr->copy)(& ch_val, REF(3)DOT(4).value
    )) != Normal) goto ch_raise_exception;
  (*(REF(9).tsdr)->finalize)(REF(9).value,F_DISCARD,sched);
  REF(9).value = ch_val;
  REF(9).tsdr = datarepmap[REF(3)DOT(4).tsdr->number];
/* chs_lit 151 , "first argument of attribute 'case' not init" */
  if( !chs_lit(DEF(151),"first argument of attribute 'case' not init") )
     goto ch_depletion;
/* unite 11 151 , 3 */
  if ((ch_returncode = che_unite(DEF(11),DEF(151),sched,3)) != Normal)
     goto ch_raise_exception;
/* insert 9.2 11 */
  if ((ch_returncode = insertfunc(DEF(9)DOT(2),DEF(11),FALSE,0)) != Normal)
     goto ch_raise_exception;
/* insert 3.5 9 */
  if ((ch_returncode = insertfunc(DEF(3)DOT(5),DEF(9),FALSE,0)) != Normal)
     goto ch_raise_exception;
c555:
/* boolean 152 , FALSE */
  REF(152).value.boolean = FALSE;
  REF(152).tsdr = & dr_boolean;
/* initget 153 3.0 , 0,0 */
  (*(REF(153).tsdr)->finalize)(REF(153).value,F_DISCARD,sched);
  if ((ch_returncode = init_selector(DEF(153),DEF(3)DOT(0),nil,sched,GET,0,0
    )) != Normal) goto ch_raise_exception;
c557:
/* get_or_goto 153 3.0 , 591 */
  if ((ch_returncode = get_selected_object(DEF(153),DEF(3)DOT(0)
    ,sched)) != Normal) goto c591;
/* block , 19 */
  if((ch_returncode = che_block(QUAL(19),sched)) != Normal)
     goto ch_raise_exception;
/* case 154 153.0 */
  REF(154).value.enumeration = REF(153)DOT(0).value.variant
    ->info.variant_case;
  REF(154).tsdr = & dr_enumeration;
/* equal 155 154 =(1) */
  REF(155).value.boolean = (REF(154).value.enumeration == 1);
  REF(155).tsdr = & dr_boolean;
/* lookup_at 156 153.1 =(0) */
  if ( !((ch_t = REF(153)DOT(1).value.table)->size) ) goto ch_notfound;
  (*(REF(156).tsdr)->finalize)(REF(156).value,F_DISCARD,sched);
  (*(ch_t->tbls[ORDER_TBL].des->lookup_at))
    (ch_t, ORDER_TBL, & REF(156).value,0);
  REF(156).tsdr = qdatarepmap[ch_t->tsdr->number];
/* copy 157 156 */
  if((ch_returncode = (REF(156).tsdr->copy)(& ch_val, REF(156).value
    )) != Normal) goto ch_raise_exception;
  (*(REF(157).tsdr)->finalize)(REF(157).value,F_DISCARD,sched);
  REF(157).value = ch_val;
  REF(157).tsdr = datarepmap[REF(156).tsdr->number];
/* lookup_at 158 92.1 =(0) */
  if ( !((ch_t = REF(92)DOT(1).value.table)->size) ) goto ch_notfound;
  (*(REF(158).tsdr)->finalize)(REF(158).value,F_DISCARD,sched);
  (*(ch_t->tbls[ORDER_TBL].des->lookup_at))
    (ch_t, ORDER_TBL, & REF(158).value,0);
  REF(158).tsdr = qdatarepmap[ch_t->tsdr->number];
/* copy 159 158 */
  if((ch_returncode = (REF(158).tsdr->copy)(& ch_val, REF(158).value
    )) != Normal) goto ch_raise_exception;
  (*(REF(159).tsdr)->finalize)(REF(159).value,F_DISCARD,sched);
  REF(159).value = ch_val;
  REF(159).tsdr = datarepmap[REF(158).tsdr->number];
/* equal 160 157 159 */
  REF(160).value.boolean = ((REF(157).tsdr->equal)(REF(157).value,
    REF(159).value));
  REF(160).tsdr = & dr_boolean;
/* discard 157 */
  (*(REF(157).tsdr)->finalize)(REF(157).value,F_DISCARD,sched);
  REF(157).tsdr = & dr_bottom;
/* discard 159 */
  (*(REF(159).tsdr)->finalize)(REF(159).value,F_DISCARD,sched);
  REF(159).tsdr = & dr_bottom;
/* and 161 155 160 */
  REF(161).value.boolean = REF(155).value.boolean&REF(160).value.boolean;
  REF(161).tsdr = & dr_boolean;
/* lookup_at 162 153.1 =(1) */
  if (1 >= (ch_t = REF(153)DOT(1).value.table)->size) goto ch_notfound;
  (*(REF(162).tsdr)->finalize)(REF(162).value,F_DISCARD,sched);
  (*(ch_t->tbls[ORDER_TBL].des->lookup_at))
    (ch_t, ORDER_TBL, & REF(162).value,1);
  REF(162).tsdr = qdatarepmap[ch_t->tsdr->number];
/* copy 163 162 */
  if((ch_returncode = (REF(162).tsdr->copy)(& ch_val, REF(162).value
    )) != Normal) goto ch_raise_exception;
  (*(REF(163).tsdr)->finalize)(REF(163).value,F_DISCARD,sched);
  REF(163).value = ch_val;
  REF(163).tsdr = datarepmap[REF(162).tsdr->number];
/* lookup_at 164 92.1 =(1) */
  if (1 >= (ch_t = REF(92)DOT(1).value.table)->size) goto ch_notfound;
  (*(REF(164).tsdr)->finalize)(REF(164).value,F_DISCARD,sched);
  (*(ch_t->tbls[ORDER_TBL].des->lookup_at))
    (ch_t, ORDER_TBL, & REF(164).value,1);
  REF(164).tsdr = qdatarepmap[ch_t->tsdr->number];
/* copy 165 164 */
  if((ch_returncode = (REF(164).tsdr->copy)(& ch_val, REF(164).value
    )) != Normal) goto ch_raise_exception;
  (*(REF(165).tsdr)->finalize)(REF(165).value,F_DISCARD,sched);
  REF(165).value = ch_val;
  REF(165).tsdr = datarepmap[REF(164).tsdr->number];
/* notequal 166 163 165 */
  REF(166).value.boolean = (!(REF(163).tsdr->equal)(REF(163).value,
    REF(165).value));
  REF(166).tsdr = & dr_boolean;
/* discard 163 */
  (*(REF(163).tsdr)->finalize)(REF(163).value,F_DISCARD,sched);
  REF(163).tsdr = & dr_bottom;
/* discard 165 */
  (*(REF(165).tsdr)->finalize)(REF(165).value,F_DISCARD,sched);
  REF(165).tsdr = & dr_bottom;
/* and 167 161 166 */
  REF(167).value.boolean = REF(161).value.boolean&REF(166).value.boolean;
  REF(167).tsdr = & dr_boolean;
/* endblock */
  che_endblock(sched);
/* branch , 589 */
   goto c589;
c585:
/* discard 157 */
  (*(REF(157).tsdr)->finalize)(REF(157).value,F_DISCARD,sched);
  REF(157).tsdr = & dr_bottom;
/* discard 163 */
  (*(REF(163).tsdr)->finalize)(REF(163).value,F_DISCARD,sched);
  REF(163).tsdr = & dr_bottom;
/* boolean 167 , FALSE */
  REF(167).value.boolean = FALSE;
  REF(167).tsdr = & dr_boolean;
c589:
/* branch_false 167 , 557 */
  if ( !REF(167).value.boolean ) goto c557;
/* boolean 152 , TRUE */
  REF(152).value.boolean = TRUE;
  REF(152).tsdr = & dr_boolean;
c591:
/* endget 153 3.0 */
  end_selector(DEF(153),DEF(3)DOT(0),sched,GET);
/* branch_false 152 , 599 */
  if ( !REF(152).value.boolean ) goto c599;
/* copy 9 3.4 */
  if((ch_returncode = (REF(3)DOT(4).tsdr->copy)(& ch_val, REF(3)DOT(4).value
    )) != Normal) goto ch_raise_exception;
  (*(REF(9).tsdr)->finalize)(REF(9).value,F_DISCARD,sched);
  REF(9).value = ch_val;
  REF(9).tsdr = datarepmap[REF(3)DOT(4).tsdr->number];
/* chs_lit 168 , "conflicting 'case' attributes for same variant" */
  if( !chs_lit(DEF(168),"conflicting 'case' attributes for same variant") )
     goto ch_depletion;
/* unite 11 168 , 3 */
  if ((ch_returncode = che_unite(DEF(11),DEF(168),sched,3)) != Normal)
     goto ch_raise_exception;
/* insert 9.2 11 */
  if ((ch_returncode = insertfunc(DEF(9)DOT(2),DEF(11),FALSE,0)) != Normal)
     goto ch_raise_exception;
/* insert 3.5 9 */
  if ((ch_returncode = insertfunc(DEF(3)DOT(5),DEF(9),FALSE,0)) != Normal)
     goto ch_raise_exception;
c599:
/* block , 20 */
  if((ch_returncode = che_block(QUAL(20),sched)) != Normal)
     goto ch_raise_exception;
/* copy 169 3.1 */
  if((ch_returncode = (REF(3)DOT(1).tsdr->copy)(& ch_val, REF(3)DOT(1).value
    )) != Normal) goto ch_raise_exception;
  (*(REF(169).tsdr)->finalize)(REF(169).value,F_DISCARD,sched);
  REF(169).value = ch_val;
  REF(169).tsdr = datarepmap[REF(3)DOT(1).tsdr->number];
/* copy 19 3.4 */
  if((ch_returncode = (REF(3)DOT(4).tsdr->copy)(& ch_val, REF(3)DOT(4).value
    )) != Normal) goto ch_raise_exception;
  (*(REF(19).tsdr)->finalize)(REF(19).value,F_DISCARD,sched);
  REF(19).value = ch_val;
  REF(19).tsdr = datarepmap[REF(3)DOT(4).tsdr->number];
/* chs_lit 170 , " SHOULDN'T HAPPEN " */
  if( !chs_lit(DEF(170)," SHOULDN'T HAPPEN ") ) goto ch_depletion;
/* unite 11 170 , 3 */
  if ((ch_returncode = che_unite(DEF(11),DEF(170),sched,3)) != Normal)
     goto ch_raise_exception;
/* insert 19.2 11 */
  if ((ch_returncode = insertfunc(DEF(19)DOT(2),DEF(11),FALSE,0)) != Normal)
     goto ch_raise_exception;
/* lookup_at 171 92.1 =(0) */
  if ( !((ch_t = REF(92)DOT(1).value.table)->size) ) goto ch_notfound;
  (*(REF(171).tsdr)->finalize)(REF(171).value,F_DISCARD,sched);
  (*(ch_t->tbls[ORDER_TBL].des->lookup_at))
    (ch_t, ORDER_TBL, & REF(171).value,0);
  REF(171).tsdr = qdatarepmap[ch_t->tsdr->number];
/* copy 172 171 */
  if((ch_returncode = (REF(171).tsdr->copy)(& ch_val, REF(171).value
    )) != Normal) goto ch_raise_exception;
  (*(REF(172).tsdr)->finalize)(REF(172).value,F_DISCARD,sched);
  REF(172).value = ch_val;
  REF(172).tsdr = datarepmap[REF(171).tsdr->number];
  current->ip = 67;
cb609:
/* call 3.6 172 169 3.2 19 3.5 , 5 */
  if ((ch_returncode = che_call((
          arguments[0] = DEF(3)DOT(6),
          arguments[1] = DEF(172),
          arguments[2] = DEF(169),
          arguments[3] = DEF(3)DOT(2),
          arguments[4] = DEF(19),
          arguments[5] = DEF(3)DOT(5),
          arguments[5+1] = nil,& arguments[0]),QUAL(5),sched)) != Normal)
     goto ch_raise_exception;
  return;
c610:
/* find 173 3.2 169.0 , 0 */
  if (findfunc(DEF(173),DEF(3)DOT(2),(
          arguments[0] = DEF(169)DOT(0),& arguments[0]),sched,0) == FAILURE)
             goto ch_notfound;
/* find 174 173.1 169.1 , 0 */
  if (findfunc(DEF(174),DEF(173)DOT(1),(
          arguments[0] = DEF(169)DOT(1),& arguments[0]),sched,0) == FAILURE)
             goto ch_notfound;
/* lookup_at 175 92.1 =(1) */
  if (1 >= (ch_t = REF(92)DOT(1).value.table)->size) goto ch_notfound;
  (*(REF(175).tsdr)->finalize)(REF(175).value,F_DISCARD,sched);
  (*(ch_t->tbls[ORDER_TBL].des->lookup_at))
    (ch_t, ORDER_TBL, & REF(175).value,1);
  REF(175).tsdr = qdatarepmap[ch_t->tsdr->number];
/* reveal 174.2 , 6 */
  if (6 != REF(174)DOT(2).value.variant->info.variant_case)
     goto ch_case_error;
/* initget 176 174.2.0.1 , 0,0 */
  (*(REF(176).tsdr)->finalize)(REF(176).value,F_DISCARD,sched);
  if ((ch_returncode = init_selector(DEF(176),DEF(174)DOT(2)DOT(0)DOT(1)
    ,nil,sched,GET,0,0)) != Normal) goto ch_raise_exception;
c616:
/* get_or_err 176 174.2.0.1 */
  if ((ch_returncode = get_selected_object(DEF(176),DEF(174)DOT(2)DOT(0)DOT(1)
    ,sched)) != Normal) goto ch_raise_exception;
/* size 177 175 */
  REF(177).value.integer = REF(175).value.table->size;
  REF(177).tsdr = & dr_integer;
/* isubtract 178 177 =(1) */
  if (!chf_isubtract(DEF(178),REF(177).value.integer,1)) goto ch_depletion;
/* lookup_at 179 175 178 */
  if((ch_i = REF(178).value.integer) < 0 || ch_i >= (ch_t = REF(175).value
    .table)->size) goto ch_notfound;
  (*(REF(179).tsdr)->finalize)(REF(179).value,F_DISCARD,sched);
  (*(ch_t->tbls[ORDER_TBL].des->lookup_at))
    (ch_t, ORDER_TBL, & REF(179).value,ch_i);
  REF(179).tsdr = qdatarepmap[ch_t->tsdr->number];
/* copy 180 179 */
  if((ch_returncode = (REF(179).tsdr->copy)(& ch_val, REF(179).value
    )) != Normal) goto ch_raise_exception;
  (*(REF(180).tsdr)->finalize)(REF(180).value,F_DISCARD,sched);
  REF(180).value = ch_val;
  REF(180).tsdr = datarepmap[REF(179).tsdr->number];
/* notequal . 176.0 180 , 616 */
  if ( !(REF(176)DOT(0).tsdr->equal)(REF(176)DOT(0).value,REF(180).value) )
     goto c616;
/* copy 181 176.2 */
  if((ch_returncode = cp_table(& ch_val, REF(176)DOT(2).value)) != Normal)
     goto ch_raise_exception;
  (*(REF(181).tsdr)->finalize)(REF(181).value,F_DISCARD,sched);
  REF(181).value = ch_val;
  REF(181).tsdr = & dr_table;
/* initget 182 181 , 0,0 */
  (*(REF(182).tsdr)->finalize)(REF(182).value,F_DISCARD,sched);
  if ((ch_returncode = init_selector(DEF(182),DEF(181),nil,sched,GET,0,0
    )) != Normal) goto ch_raise_exception;
c626:
/* get_or_goto 182 181 , 656 */
  if ((ch_returncode = get_selected_object(DEF(182),DEF(181)
    ,sched)) != Normal) goto c656;
/* new_record 83 , 2 */
  if ((ch_val.record = new_record(2)) == nil) goto ch_depletion;
  (*(REF(83).tsdr)->finalize)(REF(83).value,F_DISCARD,sched);
  REF(83).value = ch_val; REF(83).tsdr = & dr_record;
/* copy 83.0 182.0 */
  if((ch_returncode = cp_variant(& ch_val, REF(182)DOT(0).value)) != Normal)
     goto ch_raise_exception;
  (*(REF(83)DOT(0).tsdr)->finalize)(REF(83)DOT(0).value,F_DISCARD,sched);
  REF(83)DOT(0).value = ch_val;
  REF(83)DOT(0).tsdr = & dr_variant;
/* new_table 83.1 , 12 */
  if ((ch_returncode = che_new_table(DEF(83)DOT(1),QUAL(12)
    ,sched)) != Normal)  goto ch_raise_exception;
/* copy 183 182.1 */
  if((ch_returncode = cp_table(& ch_val, REF(182)DOT(1).value)) != Normal)
     goto ch_raise_exception;
  (*(REF(183).tsdr)->finalize)(REF(183).value,F_DISCARD,sched);
  REF(183).value = ch_val;
  REF(183).tsdr = & dr_table;
/* initget 184 183 , 0,0 */
  (*(REF(184).tsdr)->finalize)(REF(184).value,F_DISCARD,sched);
  if ((ch_returncode = init_selector(DEF(184),DEF(183),nil,sched,GET,0,0
    )) != Normal) goto ch_raise_exception;
c633:
/* get_or_goto 184 183 , 641 */
  if ((ch_returncode = get_selected_object(DEF(184),DEF(183)
    ,sched)) != Normal) goto c641;
/* lookup_at 185 92.1 =(1) */
  if (1 >= (ch_t = REF(92)DOT(1).value.table)->size) goto ch_notfound;
  (*(REF(185).tsdr)->finalize)(REF(185).value,F_DISCARD,sched);
  (*(ch_t->tbls[ORDER_TBL].des->lookup_at))
    (ch_t, ORDER_TBL, & REF(185).value,1);
  REF(185).tsdr = qdatarepmap[ch_t->tsdr->number];
/* copy 186 185 */
  if((ch_returncode = cp_table(& ch_val, REF(185).value)) != Normal)
     goto ch_raise_exception;
  (*(REF(186).tsdr)->finalize)(REF(186).value,F_DISCARD,sched);
  REF(186).value = ch_val;
  REF(186).tsdr = & dr_table;
/* concat 187 186 184 */
  if ((ch_returncode = che_concat(DEF(187),DEF(186),DEF(184)
    ,sched)) != Normal) goto ch_raise_exception;
/* discard 186 */
  (*(REF(186).tsdr)->finalize)(REF(186).value,F_DISCARD,sched);
  REF(186).tsdr = & dr_bottom;
/* insert 83.1 187 */
  if ((ch_returncode = insertfunc(DEF(83)DOT(1),DEF(187),FALSE,0)) != Normal)
     goto ch_raise_exception;
/* branch , 633 */
   goto c633;
c641:
/* endget 184 183 */
  end_selector(DEF(184),DEF(183),sched,GET);
/* discard 183 */
  (*(REF(183).tsdr)->finalize)(REF(183).value,F_DISCARD,sched);
  REF(183).tsdr = & dr_bottom;
/* boolean 188 , FALSE */
  REF(188).value.boolean = FALSE;
  REF(188).tsdr = & dr_boolean;
/* find_or_goto 189 3.0 83 , 0,646 */
  if (findfunc(DEF(189),DEF(3)DOT(0),(
          arguments[0] = DEF(83),& arguments[0]),sched,0) == FAILURE) goto c646;
/* boolean 188 , TRUE */
  REF(188).value.boolean = TRUE;
  REF(188).tsdr = & dr_boolean;
c646:
/* not 190 188 */
  REF(190).value.boolean = !REF(188).value.boolean;
  REF(190).tsdr = & dr_boolean;
/* branch_false 190 , 626 */
  if ( !REF(190).value.boolean ) goto c626;
/* copy 9 3.4 */
  if((ch_returncode = (REF(3)DOT(4).tsdr->copy)(& ch_val, REF(3)DOT(4).value
    )) != Normal) goto ch_raise_exception;
  (*(REF(9).tsdr)->finalize)(REF(9).value,F_DISCARD,sched);
  REF(9).value = ch_val;
  REF(9).tsdr = datarepmap[REF(3)DOT(4).tsdr->number];
/* chs_lit 191 , "part of variant's case typestate not present" */
  if( !chs_lit(DEF(191),"part of variant's case typestate not present") )
     goto ch_depletion;
/* unite 11 191 , 3 */
  if ((ch_returncode = che_unite(DEF(11),DEF(191),sched,3)) != Normal)
     goto ch_raise_exception;
/* insert 9.2 11 */
  if ((ch_returncode = insertfunc(DEF(9)DOT(2),DEF(11),FALSE,0)) != Normal)
     goto ch_raise_exception;
/* insert 3.5 9 */
  if ((ch_returncode = insertfunc(DEF(3)DOT(5),DEF(9),FALSE,0)) != Normal)
     goto ch_raise_exception;
/* exit , 18 */
  ch_e = handler_type__exit; ch_val = QUAL(18); goto ch_exception;
c656:
/* endget 182 181 */
  end_selector(DEF(182),DEF(181),sched,GET);
/* discard 181 */
  (*(REF(181).tsdr)->finalize)(REF(181).value,F_DISCARD,sched);
  REF(181).tsdr = & dr_bottom;
/* endget 176 174.2.0.1 */
  end_selector(DEF(176),DEF(174)DOT(2)DOT(0)DOT(1),sched,GET);
/* endblock */
  che_endblock(sched);
/* branch , 665 */
   goto c665;
c662:
/* discard 172 */
  (*(REF(172).tsdr)->finalize)(REF(172).value,F_DISCARD,sched);
  REF(172).tsdr = & dr_bottom;
c665:
/* discard 172 */
  (*(REF(172).tsdr)->finalize)(REF(172).value,F_DISCARD,sched);
  REF(172).tsdr = & dr_bottom;
/* branch , 760 */
   goto c760;
c667:
/* noop */
  
/* lookup_at 192 92.1 =(0) */
  if ( !((ch_t = REF(92)DOT(1).value.table)->size) ) goto ch_notfound;
  (*(REF(192).tsdr)->finalize)(REF(192).value,F_DISCARD,sched);
  (*(ch_t->tbls[ORDER_TBL].des->lookup_at))
    (ch_t, ORDER_TBL, & REF(192).value,0);
  REF(192).tsdr = qdatarepmap[ch_t->tsdr->number];
/* copy 193 192 */
  if((ch_returncode = cp_table(& ch_val, REF(192).value)) != Normal)
     goto ch_raise_exception;
  (*(REF(193).tsdr)->finalize)(REF(193).value,F_DISCARD,sched);
  REF(193).value = ch_val;
  REF(193).tsdr = & dr_table;
/* size 194 193 */
  REF(194).value.integer = REF(193).value.table->size;
  REF(194).tsdr = & dr_integer;
/* discard 193 */
  (*(REF(193).tsdr)->finalize)(REF(193).value,F_DISCARD,sched);
  REF(193).tsdr = & dr_bottom;
/* ile . 194 =(0) , 760 */
  if ( REF(194).value.integer <= 0 ) goto c760;
/* block , 21 */
  if((ch_returncode = che_block(QUAL(21),sched)) != Normal)
     goto ch_raise_exception;
/* lookup_at 195 92.1 =(0) */
  if ( !((ch_t = REF(92)DOT(1).value.table)->size) ) goto ch_notfound;
  (*(REF(195).tsdr)->finalize)(REF(195).value,F_DISCARD,sched);
  (*(ch_t->tbls[ORDER_TBL].des->lookup_at))
    (ch_t, ORDER_TBL, & REF(195).value,0);
  REF(195).tsdr = qdatarepmap[ch_t->tsdr->number];
/* copy 196 195 */
  if((ch_returncode = cp_table(& ch_val, REF(195).value)) != Normal)
     goto ch_raise_exception;
  (*(REF(196).tsdr)->finalize)(REF(196).value,F_DISCARD,sched);
  REF(196).value = ch_val;
  REF(196).tsdr = & dr_table;
/* privatize 196 */
  if (REF(196).value.table->refcount != 1)
    if ((ch_returncode = doCopyOnWrite(DEF(196))) != Normal)
       goto ch_raise_exception;
/* size 197 196 */
  REF(197).value.integer = REF(196).value.table->size;
  REF(197).tsdr = & dr_integer;
/* isubtract 198 197 =(1) */
  if (!chf_isubtract(DEF(198),REF(197).value.integer,1)) goto ch_depletion;
/* lookup_at 199 196 198 */
  if((ch_i = REF(198).value.integer) < 0 || ch_i >= (ch_t = REF(196).value
    .table)->size) goto ch_notfound;
  (*(REF(199).tsdr)->finalize)(REF(199).value,F_DISCARD,sched);
  (*(ch_t->tbls[ORDER_TBL].des->lookup_at))
    (ch_t, ORDER_TBL, & REF(199).value,ch_i);
  REF(199).tsdr = qdatarepmap[ch_t->tsdr->number];
/* remove_at 200 196 198 */
  if ((ch_returncode = remove_at_func(DEF(200),DEF(196),REF(198).value.integer
    )) != Normal) goto ch_raise_exception;
/* discard 200 */
  (*(REF(200).tsdr)->finalize)(REF(200).value,F_DISCARD,sched);
  REF(200).tsdr = & dr_bottom;
/* lookup_at 201 92.1 =(0) */
  if ( !((ch_t = REF(92)DOT(1).value.table)->size) ) goto ch_notfound;
  (*(REF(201).tsdr)->finalize)(REF(201).value,F_DISCARD,sched);
  (*(ch_t->tbls[ORDER_TBL].des->lookup_at))
    (ch_t, ORDER_TBL, & REF(201).value,0);
  REF(201).tsdr = qdatarepmap[ch_t->tsdr->number];
/* copy 202 201 */
  if((ch_returncode = cp_table(& ch_val, REF(201).value)) != Normal)
     goto ch_raise_exception;
  (*(REF(202).tsdr)->finalize)(REF(202).value,F_DISCARD,sched);
  REF(202).value = ch_val;
  REF(202).tsdr = & dr_table;
/* size 203 202 */
  REF(203).value.integer = REF(202).value.table->size;
  REF(203).tsdr = & dr_integer;
/* discard 202 */
  (*(REF(202).tsdr)->finalize)(REF(202).value,F_DISCARD,sched);
  REF(202).tsdr = & dr_bottom;
/* ile . 203 =(1) , 710 */
  if ( REF(203).value.integer <= 1 ) goto c710;
/* unite 83.0 85 , 0 */
  if ((ch_returncode = che_unite(DEF(83)DOT(0),DEF(85),sched,0)) != Normal)
     goto ch_raise_exception;
/* new_table 83.1 , 12 */
  if ((ch_returncode = che_new_table(DEF(83)DOT(1),QUAL(12)
    ,sched)) != Normal)  goto ch_raise_exception;
/* copy 204 196 */
  if((ch_returncode = cp_table(& ch_val, REF(196).value)) != Normal)
     goto ch_raise_exception;
  (*(REF(204).tsdr)->finalize)(REF(204).value,F_DISCARD,sched);
  REF(204).value = ch_val;
  REF(204).tsdr = & dr_table;
/* insert 83.1 204 */
  if ((ch_returncode = insertfunc(DEF(83)DOT(1),DEF(204),FALSE,0)) != Normal)
     goto ch_raise_exception;
/* boolean 205 , FALSE */
  REF(205).value.boolean = FALSE;
  REF(205).tsdr = & dr_boolean;
/* find_or_goto 206 3.0 83 , 0,702 */
  if (findfunc(DEF(206),DEF(3)DOT(0),(
          arguments[0] = DEF(83),& arguments[0]),sched,0) == FAILURE) goto c702;
/* boolean 205 , TRUE */
  REF(205).value.boolean = TRUE;
  REF(205).tsdr = & dr_boolean;
c702:
/* not 207 205 */
  REF(207).value.boolean = !REF(205).value.boolean;
  REF(207).tsdr = & dr_boolean;
/* branch_false 207 , 710 */
  if ( !REF(207).value.boolean ) goto c710;
/* copy 9 3.4 */
  if((ch_returncode = (REF(3)DOT(4).tsdr->copy)(& ch_val, REF(3)DOT(4).value
    )) != Normal) goto ch_raise_exception;
  (*(REF(9).tsdr)->finalize)(REF(9).value,F_DISCARD,sched);
  REF(9).value = ch_val;
  REF(9).tsdr = datarepmap[REF(3)DOT(4).tsdr->number];
/* chs_lit 208 , "init of component without init of parent" */
  if( !chs_lit(DEF(208),"init of component without init of parent") )
     goto ch_depletion;
/* unite 11 208 , 3 */
  if ((ch_returncode = che_unite(DEF(11),DEF(208),sched,3)) != Normal)
     goto ch_raise_exception;
/* insert 9.2 11 */
  if ((ch_returncode = insertfunc(DEF(9)DOT(2),DEF(11),FALSE,0)) != Normal)
     goto ch_raise_exception;
/* insert 3.5 9 */
  if ((ch_returncode = insertfunc(DEF(3)DOT(5),DEF(9),FALSE,0)) != Normal)
     goto ch_raise_exception;
c710:
/* discard 83.0 */
  (*(REF(83)DOT(0).tsdr)->finalize)(REF(83)DOT(0).value,F_DISCARD,sched);
  REF(83)DOT(0).tsdr = & dr_bottom;
/* discard 83.1 */
  (*(REF(83)DOT(1).tsdr)->finalize)(REF(83)DOT(1).value,F_DISCARD,sched);
  REF(83)DOT(1).tsdr = & dr_bottom;
/* copy 209 3.1 */
  if((ch_returncode = (REF(3)DOT(1).tsdr->copy)(& ch_val, REF(3)DOT(1).value
    )) != Normal) goto ch_raise_exception;
  (*(REF(209).tsdr)->finalize)(REF(209).value,F_DISCARD,sched);
  REF(209).value = ch_val;
  REF(209).tsdr = datarepmap[REF(3)DOT(1).tsdr->number];
/* copy 19 3.4 */
  if((ch_returncode = (REF(3)DOT(4).tsdr->copy)(& ch_val, REF(3)DOT(4).value
    )) != Normal) goto ch_raise_exception;
  (*(REF(19).tsdr)->finalize)(REF(19).value,F_DISCARD,sched);
  REF(19).value = ch_val;
  REF(19).tsdr = datarepmap[REF(3)DOT(4).tsdr->number];
/* chs_lit 210 , " SHOULDN'T HAPPEN " */
  if( !chs_lit(DEF(210)," SHOULDN'T HAPPEN ") ) goto ch_depletion;
/* unite 11 210 , 3 */
  if ((ch_returncode = che_unite(DEF(11),DEF(210),sched,3)) != Normal)
     goto ch_raise_exception;
/* insert 19.2 11 */
  if ((ch_returncode = insertfunc(DEF(19)DOT(2),DEF(11),FALSE,0)) != Normal)
     goto ch_raise_exception;
  current->ip = 76;
cb718:
/* call 3.6 196 209 3.2 19 3.5 , 5 */
  if ((ch_returncode = che_call((
          arguments[0] = DEF(3)DOT(6),
          arguments[1] = DEF(196),
          arguments[2] = DEF(209),
          arguments[3] = DEF(3)DOT(2),
          arguments[4] = DEF(19),
          arguments[5] = DEF(3)DOT(5),
          arguments[5+1] = nil,& arguments[0]),QUAL(5),sched)) != Normal)
     goto ch_raise_exception;
  return;
c719:
/* find 211 3.2 209.0 , 0 */
  if (findfunc(DEF(211),DEF(3)DOT(2),(
          arguments[0] = DEF(209)DOT(0),& arguments[0]),sched,0) == FAILURE)
             goto ch_notfound;
/* find 212 211.1 209.1 , 0 */
  if (findfunc(DEF(212),DEF(211)DOT(1),(
          arguments[0] = DEF(209)DOT(1),& arguments[0]),sched,0) == FAILURE)
             goto ch_notfound;
/* ord_case 213 212.2 */
  REF(213).value.ord_enum = REF(212)DOT(2).value.variant->info.variant_case;
  REF(213).tsdr = & dr_ord_enumeration;
/* notequal . 213 =(6) , 747 */
  if ( REF(213).value.ord_enum != 6 ) goto c747;
/* unite 83.0 85 , 1 */
  if ((ch_returncode = che_unite(DEF(83)DOT(0),DEF(85),sched,1)) != Normal)
     goto ch_raise_exception;
/* new_table 83.1 , 12 */
  if ((ch_returncode = che_new_table(DEF(83)DOT(1),QUAL(12)
    ,sched)) != Normal)  goto ch_raise_exception;
/* copy 214 196 */
  if((ch_returncode = cp_table(& ch_val, REF(196).value)) != Normal)
     goto ch_raise_exception;
  (*(REF(214).tsdr)->finalize)(REF(214).value,F_DISCARD,sched);
  REF(214).value = ch_val;
  REF(214).tsdr = & dr_table;
/* insert 83.1 214 */
  if ((ch_returncode = insertfunc(DEF(83)DOT(1),DEF(214),FALSE,0)) != Normal)
     goto ch_raise_exception;
/* lookup_at 215 92.1 =(0) */
  if ( !((ch_t = REF(92)DOT(1).value.table)->size) ) goto ch_notfound;
  (*(REF(215).tsdr)->finalize)(REF(215).value,F_DISCARD,sched);
  (*(ch_t->tbls[ORDER_TBL].des->lookup_at))
    (ch_t, ORDER_TBL, & REF(215).value,0);
  REF(215).tsdr = qdatarepmap[ch_t->tsdr->number];
/* copy 216 215 */
  if((ch_returncode = (REF(215).tsdr->copy)(& ch_val, REF(215).value
    )) != Normal) goto ch_raise_exception;
  (*(REF(216).tsdr)->finalize)(REF(216).value,F_DISCARD,sched);
  REF(216).value = ch_val;
  REF(216).tsdr = datarepmap[REF(215).tsdr->number];
/* copy 217 216 */
  if((ch_returncode = (REF(216).tsdr->copy)(& ch_val, REF(216).value
    )) != Normal) goto ch_raise_exception;
  (*(REF(217).tsdr)->finalize)(REF(217).value,F_DISCARD,sched);
  REF(217).value = ch_val;
  REF(217).tsdr = datarepmap[REF(216).tsdr->number];
/* discard 216 */
  (*(REF(216).tsdr)->finalize)(REF(216).value,F_DISCARD,sched);
  REF(216).tsdr = & dr_bottom;
/* insert_at 83.1 217 =(1) */
  if (REF(83)DOT(1).value.table->size < 1) goto ch_range_error;
  if ((ch_returncode = insertfunc(DEF(83)DOT(1),DEF(217),TRUE, 1)) != Normal)
     goto ch_raise_exception;
/* boolean 218 , FALSE */
  REF(218).value.boolean = FALSE;
  REF(218).tsdr = & dr_boolean;
/* find_or_goto 219 3.0 83 , 0,739 */
  if (findfunc(DEF(219),DEF(3)DOT(0),(
          arguments[0] = DEF(83),& arguments[0]),sched,0) == FAILURE) goto c739;
/* boolean 218 , TRUE */
  REF(218).value.boolean = TRUE;
  REF(218).tsdr = & dr_boolean;
c739:
/* not 220 218 */
  REF(220).value.boolean = !REF(218).value.boolean;
  REF(220).tsdr = & dr_boolean;
/* branch_false 220 , 747 */
  if ( !REF(220).value.boolean ) goto c747;
/* copy 9 3.4 */
  if((ch_returncode = (REF(3)DOT(4).tsdr->copy)(& ch_val, REF(3)DOT(4).value
    )) != Normal) goto ch_raise_exception;
  (*(REF(9).tsdr)->finalize)(REF(9).value,F_DISCARD,sched);
  REF(9).value = ch_val;
  REF(9).tsdr = datarepmap[REF(3)DOT(4).tsdr->number];
/* chs_lit 221 , "init of variant component without corresponding 'case' attribute" */
  if( !chs_lit(DEF(221),
    "init of variant component without corresponding 'case' attribute") )
     goto ch_depletion;
/* unite 11 221 , 3 */
  if ((ch_returncode = che_unite(DEF(11),DEF(221),sched,3)) != Normal)
     goto ch_raise_exception;
/* insert 9.2 11 */
  if ((ch_returncode = insertfunc(DEF(9)DOT(2),DEF(11),FALSE,0)) != Normal)
     goto ch_raise_exception;
/* insert 3.5 9 */
  if ((ch_returncode = insertfunc(DEF(3)DOT(5),DEF(9),FALSE,0)) != Normal)
     goto ch_raise_exception;
c747:
/* discard 83.0 */
  (*(REF(83)DOT(0).tsdr)->finalize)(REF(83)DOT(0).value,F_DISCARD,sched);
  REF(83)DOT(0).tsdr = & dr_bottom;
/* discard 83.1 */
  (*(REF(83)DOT(1).tsdr)->finalize)(REF(83)DOT(1).value,F_DISCARD,sched);
  REF(83)DOT(1).tsdr = & dr_bottom;
/* endblock */
  che_endblock(sched);
/* branch , 756 */
   goto c756;
c751:
/* discard 19 */
  (*(REF(19).tsdr)->finalize)(REF(19).value,F_DISCARD,sched);
  REF(19).tsdr = & dr_bottom;
/* discard 196 */
  (*(REF(196).tsdr)->finalize)(REF(196).value,F_DISCARD,sched);
  REF(196).tsdr = & dr_bottom;
/* discard 209 */
  (*(REF(209).tsdr)->finalize)(REF(209).value,F_DISCARD,sched);
  REF(209).tsdr = & dr_bottom;
/* discard 83.0 */
  (*(REF(83)DOT(0).tsdr)->finalize)(REF(83)DOT(0).value,F_DISCARD,sched);
  REF(83)DOT(0).tsdr = & dr_bottom;
/* discard 83.1 */
  (*(REF(83)DOT(1).tsdr)->finalize)(REF(83)DOT(1).value,F_DISCARD,sched);
  REF(83)DOT(1).tsdr = & dr_bottom;
c756:
/* discard 19 */
  (*(REF(19).tsdr)->finalize)(REF(19).value,F_DISCARD,sched);
  REF(19).tsdr = & dr_bottom;
/* discard 196 */
  (*(REF(196).tsdr)->finalize)(REF(196).value,F_DISCARD,sched);
  REF(196).tsdr = & dr_bottom;
/* discard 209 */
  (*(REF(209).tsdr)->finalize)(REF(209).value,F_DISCARD,sched);
  REF(209).tsdr = & dr_bottom;
c760:
/* discard 19 */
  (*(REF(19).tsdr)->finalize)(REF(19).value,F_DISCARD,sched);
  REF(19).tsdr = & dr_bottom;
/* discard 169 */
  (*(REF(169).tsdr)->finalize)(REF(169).value,F_DISCARD,sched);
  REF(169).tsdr = & dr_bottom;
/* discard 132 */
  (*(REF(132).tsdr)->finalize)(REF(132).value,F_DISCARD,sched);
  REF(132).tsdr = & dr_bottom;
/* discard 118 */
  (*(REF(118).tsdr)->finalize)(REF(118).value,F_DISCARD,sched);
  REF(118).tsdr = & dr_bottom;
/* discard 83.0 */
  (*(REF(83)DOT(0).tsdr)->finalize)(REF(83)DOT(0).value,F_DISCARD,sched);
  REF(83)DOT(0).tsdr = & dr_bottom;
/* discard 83.1 */
  (*(REF(83)DOT(1).tsdr)->finalize)(REF(83)DOT(1).value,F_DISCARD,sched);
  REF(83)DOT(1).tsdr = & dr_bottom;
/* branch , 352 */
   goto c352;
c768:
/* endget 92 91 */
  end_selector(DEF(92),DEF(91),sched,GET);
/* discard 91 */
  (*(REF(91).tsdr)->finalize)(REF(91).value,F_DISCARD,sched);
  REF(91).tsdr = & dr_bottom;
/* return 3 */
  if (ch_caller = do_return(REF(3).value)) {
    if (ch_caller->type < CProcess) ch_caller->ip++;
      sched->wakeup_proc(sched, ch_caller);}
  else rem_return(REF(3).value);
  REF(3).tsdr = & dr_bottom;
/* endblock */
  che_endblock(sched);
/* branch , 836 */
   goto c836;
c773:
/* discard 132 */
  (*(REF(132).tsdr)->finalize)(REF(132).value,F_DISCARD,sched);
  REF(132).tsdr = & dr_bottom;
/* discard 118 */
  (*(REF(118).tsdr)->finalize)(REF(118).value,F_DISCARD,sched);
  REF(118).tsdr = & dr_bottom;
/* discard 83.0 */
  (*(REF(83)DOT(0).tsdr)->finalize)(REF(83)DOT(0).value,F_DISCARD,sched);
  REF(83)DOT(0).tsdr = & dr_bottom;
/* discard 83.1 */
  (*(REF(83)DOT(1).tsdr)->finalize)(REF(83)DOT(1).value,F_DISCARD,sched);
  REF(83)DOT(1).tsdr = & dr_bottom;
/* chs_lit 222 , "Whoa! unexpected notfound execption in 2nd half checkformal_typestate" */
  if( !chs_lit(DEF(222),
    "Whoa! unexpected notfound execption in 2nd half checkformal_typestate") )
     goto ch_depletion;
/* print 222 */
  re_print(stderr, 0, DEF(222)); fflush(stderr);
/* discard 222 */
  (*(REF(222).tsdr)->finalize)(REF(222).value,F_DISCARD,sched);
  REF(222).tsdr = & dr_bottom;
/* return 3 */
  if (ch_caller = do_return(REF(3).value)) {
    if (ch_caller->type < CProcess) ch_caller->ip++;
      sched->wakeup_proc(sched, ch_caller);}
  else rem_return(REF(3).value);
  REF(3).tsdr = & dr_bottom;
/* branch , 836 */
   goto c836;
c782:
/* discard 9 */
  (*(REF(9).tsdr)->finalize)(REF(9).value,F_DISCARD,sched);
  REF(9).tsdr = & dr_bottom;
/* discard 19 */
  (*(REF(19).tsdr)->finalize)(REF(19).value,F_DISCARD,sched);
  REF(19).tsdr = & dr_bottom;
/* discard 11 */
  (*(REF(11).tsdr)->finalize)(REF(11).value,F_DISCARD,sched);
  REF(11).tsdr = & dr_bottom;
/* discard 83 */
  (*(REF(83).tsdr)->finalize)(REF(83).value,F_DISCARD,sched);
  REF(83).tsdr = & dr_bottom;
/* discard 86 */
  (*(REF(86).tsdr)->finalize)(REF(86).value,F_DISCARD,sched);
  REF(86).tsdr = & dr_bottom;
/* discard 90 */
  (*(REF(90).tsdr)->finalize)(REF(90).value,F_DISCARD,sched);
  REF(90).tsdr = & dr_bottom;
/* discard 193 */
  (*(REF(193).tsdr)->finalize)(REF(193).value,F_DISCARD,sched);
  REF(193).tsdr = & dr_bottom;
/* discard 146 */
  (*(REF(146).tsdr)->finalize)(REF(146).value,F_DISCARD,sched);
  REF(146).tsdr = & dr_bottom;
/* discard 147 */
  (*(REF(147).tsdr)->finalize)(REF(147).value,F_DISCARD,sched);
  REF(147).tsdr = & dr_bottom;
/* discard 151 */
  (*(REF(151).tsdr)->finalize)(REF(151).value,F_DISCARD,sched);
  REF(151).tsdr = & dr_bottom;
/* discard 168 */
  (*(REF(168).tsdr)->finalize)(REF(168).value,F_DISCARD,sched);
  REF(168).tsdr = & dr_bottom;
/* discard 196 */
  (*(REF(196).tsdr)->finalize)(REF(196).value,F_DISCARD,sched);
  REF(196).tsdr = & dr_bottom;
/* discard 209 */
  (*(REF(209).tsdr)->finalize)(REF(209).value,F_DISCARD,sched);
  REF(209).tsdr = & dr_bottom;
/* discard 202 */
  (*(REF(202).tsdr)->finalize)(REF(202).value,F_DISCARD,sched);
  REF(202).tsdr = & dr_bottom;
/* discard 204 */
  (*(REF(204).tsdr)->finalize)(REF(204).value,F_DISCARD,sched);
  REF(204).tsdr = & dr_bottom;
/* discard 208 */
  (*(REF(208).tsdr)->finalize)(REF(208).value,F_DISCARD,sched);
  REF(208).tsdr = & dr_bottom;
/* discard 210 */
  (*(REF(210).tsdr)->finalize)(REF(210).value,F_DISCARD,sched);
  REF(210).tsdr = & dr_bottom;
/* discard 214 */
  (*(REF(214).tsdr)->finalize)(REF(214).value,F_DISCARD,sched);
  REF(214).tsdr = & dr_bottom;
/* discard 216 */
  (*(REF(216).tsdr)->finalize)(REF(216).value,F_DISCARD,sched);
  REF(216).tsdr = & dr_bottom;
/* discard 217 */
  (*(REF(217).tsdr)->finalize)(REF(217).value,F_DISCARD,sched);
  REF(217).tsdr = & dr_bottom;
/* discard 221 */
  (*(REF(221).tsdr)->finalize)(REF(221).value,F_DISCARD,sched);
  REF(221).tsdr = & dr_bottom;
/* discard 157 */
  (*(REF(157).tsdr)->finalize)(REF(157).value,F_DISCARD,sched);
  REF(157).tsdr = & dr_bottom;
/* discard 159 */
  (*(REF(159).tsdr)->finalize)(REF(159).value,F_DISCARD,sched);
  REF(159).tsdr = & dr_bottom;
/* discard 163 */
  (*(REF(163).tsdr)->finalize)(REF(163).value,F_DISCARD,sched);
  REF(163).tsdr = & dr_bottom;
/* discard 165 */
  (*(REF(165).tsdr)->finalize)(REF(165).value,F_DISCARD,sched);
  REF(165).tsdr = & dr_bottom;
/* discard 169 */
  (*(REF(169).tsdr)->finalize)(REF(169).value,F_DISCARD,sched);
  REF(169).tsdr = & dr_bottom;
/* discard 170 */
  (*(REF(170).tsdr)->finalize)(REF(170).value,F_DISCARD,sched);
  REF(170).tsdr = & dr_bottom;
/* discard 172 */
  (*(REF(172).tsdr)->finalize)(REF(172).value,F_DISCARD,sched);
  REF(172).tsdr = & dr_bottom;
/* discard 180 */
  (*(REF(180).tsdr)->finalize)(REF(180).value,F_DISCARD,sched);
  REF(180).tsdr = & dr_bottom;
/* discard 191 */
  (*(REF(191).tsdr)->finalize)(REF(191).value,F_DISCARD,sched);
  REF(191).tsdr = & dr_bottom;
/* discard 186 */
  (*(REF(186).tsdr)->finalize)(REF(186).value,F_DISCARD,sched);
  REF(186).tsdr = & dr_bottom;
/* discard 187 */
  (*(REF(187).tsdr)->finalize)(REF(187).value,F_DISCARD,sched);
  REF(187).tsdr = & dr_bottom;
/* discard 132 */
  (*(REF(132).tsdr)->finalize)(REF(132).value,F_DISCARD,sched);
  REF(132).tsdr = & dr_bottom;
/* discard 131 */
  (*(REF(131).tsdr)->finalize)(REF(131).value,F_DISCARD,sched);
  REF(131).tsdr = & dr_bottom;
/* discard 133 */
  (*(REF(133).tsdr)->finalize)(REF(133).value,F_DISCARD,sched);
  REF(133).tsdr = & dr_bottom;
/* discard 144 */
  (*(REF(144).tsdr)->finalize)(REF(144).value,F_DISCARD,sched);
  REF(144).tsdr = & dr_bottom;
/* discard 139 */
  (*(REF(139).tsdr)->finalize)(REF(139).value,F_DISCARD,sched);
  REF(139).tsdr = & dr_bottom;
/* discard 140 */
  (*(REF(140).tsdr)->finalize)(REF(140).value,F_DISCARD,sched);
  REF(140).tsdr = & dr_bottom;
/* discard 118 */
  (*(REF(118).tsdr)->finalize)(REF(118).value,F_DISCARD,sched);
  REF(118).tsdr = & dr_bottom;
/* discard 117 */
  (*(REF(117).tsdr)->finalize)(REF(117).value,F_DISCARD,sched);
  REF(117).tsdr = & dr_bottom;
/* discard 119 */
  (*(REF(119).tsdr)->finalize)(REF(119).value,F_DISCARD,sched);
  REF(119).tsdr = & dr_bottom;
/* discard 130 */
  (*(REF(130).tsdr)->finalize)(REF(130).value,F_DISCARD,sched);
  REF(130).tsdr = & dr_bottom;
/* discard 125 */
  (*(REF(125).tsdr)->finalize)(REF(125).value,F_DISCARD,sched);
  REF(125).tsdr = & dr_bottom;
/* discard 126 */
  (*(REF(126).tsdr)->finalize)(REF(126).value,F_DISCARD,sched);
  REF(126).tsdr = & dr_bottom;
/* discard 96 */
  (*(REF(96).tsdr)->finalize)(REF(96).value,F_DISCARD,sched);
  REF(96).tsdr = & dr_bottom;
/* discard 100 */
  (*(REF(100).tsdr)->finalize)(REF(100).value,F_DISCARD,sched);
  REF(100).tsdr = & dr_bottom;
/* discard 116 */
  (*(REF(116).tsdr)->finalize)(REF(116).value,F_DISCARD,sched);
  REF(116).tsdr = & dr_bottom;
/* discard 111 */
  (*(REF(111).tsdr)->finalize)(REF(111).value,F_DISCARD,sched);
  REF(111).tsdr = & dr_bottom;
/* discard 112 */
  (*(REF(112).tsdr)->finalize)(REF(112).value,F_DISCARD,sched);
  REF(112).tsdr = & dr_bottom;
/* discard 3.5 */
  (*(REF(3)DOT(5).tsdr)->finalize)(REF(3)DOT(5).value,F_DISCARD,sched);
  REF(3)DOT(5).tsdr = & dr_bottom;
/* chs_lit 223 , "Whoa! unexpected others exception in last half of checkformal_typestate" */
  if( !chs_lit(DEF(223),
    "Whoa! unexpected others exception in last half of checkformal_typestate"
    ) ) goto ch_depletion;
/* print 223 */
  re_print(stderr, 0, DEF(223)); fflush(stderr);
/* discard 223 */
  (*(REF(223).tsdr)->finalize)(REF(223).value,F_DISCARD,sched);
  REF(223).tsdr = & dr_bottom;
c836:
/* discard 3 */
  (*(REF(3).tsdr)->finalize)(REF(3).value,F_DISCARD,sched);
  REF(3).tsdr = & dr_bottom;
/* discard 83 */
  (*(REF(83).tsdr)->finalize)(REF(83).value,F_DISCARD,sched);
  REF(83).tsdr = & dr_bottom;
/* endblock */
  che_endblock(sched);
/* branch , 883 */
   goto c883;
c840:
/* return 3 */
  if (ch_caller = do_return(REF(3).value)) {
    if (ch_caller->type < CProcess) ch_caller->ip++;
      sched->wakeup_proc(sched, ch_caller);}
  else rem_return(REF(3).value);
  REF(3).tsdr = & dr_bottom;
/* branch , 883 */
   goto c883;
c842:
/* discard 3 */
  (*(REF(3).tsdr)->finalize)(REF(3).value,F_DISCARD,sched);
  REF(3).tsdr = & dr_bottom;
/* discard 9 */
  (*(REF(9).tsdr)->finalize)(REF(9).value,F_DISCARD,sched);
  REF(9).tsdr = & dr_bottom;
/* discard 19 */
  (*(REF(19).tsdr)->finalize)(REF(19).value,F_DISCARD,sched);
  REF(19).tsdr = & dr_bottom;
/* discard 11 */
  (*(REF(11).tsdr)->finalize)(REF(11).value,F_DISCARD,sched);
  REF(11).tsdr = & dr_bottom;
/* discard 75 */
  (*(REF(75).tsdr)->finalize)(REF(75).value,F_DISCARD,sched);
  REF(75).tsdr = & dr_bottom;
/* discard 44 */
  (*(REF(44).tsdr)->finalize)(REF(44).value,F_DISCARD,sched);
  REF(44).tsdr = & dr_bottom;
/* discard 37 */
  (*(REF(37).tsdr)->finalize)(REF(37).value,F_DISCARD,sched);
  REF(37).tsdr = & dr_bottom;
/* discard 30 */
  (*(REF(30).tsdr)->finalize)(REF(30).value,F_DISCARD,sched);
  REF(30).tsdr = & dr_bottom;
/* discard 10 */
  (*(REF(10).tsdr)->finalize)(REF(10).value,F_DISCARD,sched);
  REF(10).tsdr = & dr_bottom;
/* discard 76 */
  (*(REF(76).tsdr)->finalize)(REF(76).value,F_DISCARD,sched);
  REF(76).tsdr = & dr_bottom;
/* discard 77 */
  (*(REF(77).tsdr)->finalize)(REF(77).value,F_DISCARD,sched);
  REF(77).tsdr = & dr_bottom;
/* discard 79 */
  (*(REF(79).tsdr)->finalize)(REF(79).value,F_DISCARD,sched);
  REF(79).tsdr = & dr_bottom;
/* discard 45 */
  (*(REF(45).tsdr)->finalize)(REF(45).value,F_DISCARD,sched);
  REF(45).tsdr = & dr_bottom;
/* discard 46 */
  (*(REF(46).tsdr)->finalize)(REF(46).value,F_DISCARD,sched);
  REF(46).tsdr = & dr_bottom;
/* discard 48 */
  (*(REF(48).tsdr)->finalize)(REF(48).value,F_DISCARD,sched);
  REF(48).tsdr = & dr_bottom;
/* discard 53 */
  (*(REF(53).tsdr)->finalize)(REF(53).value,F_DISCARD,sched);
  REF(53).tsdr = & dr_bottom;
/* discard 55 */
  (*(REF(55).tsdr)->finalize)(REF(55).value,F_DISCARD,sched);
  REF(55).tsdr = & dr_bottom;
/* discard 57 */
  (*(REF(57).tsdr)->finalize)(REF(57).value,F_DISCARD,sched);
  REF(57).tsdr = & dr_bottom;
/* discard 61 */
  (*(REF(61).tsdr)->finalize)(REF(61).value,F_DISCARD,sched);
  REF(61).tsdr = & dr_bottom;
/* discard 63 */
  (*(REF(63).tsdr)->finalize)(REF(63).value,F_DISCARD,sched);
  REF(63).tsdr = & dr_bottom;
/* discard 52 */
  (*(REF(52).tsdr)->finalize)(REF(52).value,F_DISCARD,sched);
  REF(52).tsdr = & dr_bottom;
/* discard 73 */
  (*(REF(73).tsdr)->finalize)(REF(73).value,F_DISCARD,sched);
  REF(73).tsdr = & dr_bottom;
/* discard 71 */
  (*(REF(71).tsdr)->finalize)(REF(71).value,F_DISCARD,sched);
  REF(71).tsdr = & dr_bottom;
/* discard 38 */
  (*(REF(38).tsdr)->finalize)(REF(38).value,F_DISCARD,sched);
  REF(38).tsdr = & dr_bottom;
/* discard 39 */
  (*(REF(39).tsdr)->finalize)(REF(39).value,F_DISCARD,sched);
  REF(39).tsdr = & dr_bottom;
/* discard 41 */
  (*(REF(41).tsdr)->finalize)(REF(41).value,F_DISCARD,sched);
  REF(41).tsdr = & dr_bottom;
/* discard 42 */
  (*(REF(42).tsdr)->finalize)(REF(42).value,F_DISCARD,sched);
  REF(42).tsdr = & dr_bottom;
/* discard 31 */
  (*(REF(31).tsdr)->finalize)(REF(31).value,F_DISCARD,sched);
  REF(31).tsdr = & dr_bottom;
/* discard 32 */
  (*(REF(32).tsdr)->finalize)(REF(32).value,F_DISCARD,sched);
  REF(32).tsdr = & dr_bottom;
/* discard 34 */
  (*(REF(34).tsdr)->finalize)(REF(34).value,F_DISCARD,sched);
  REF(34).tsdr = & dr_bottom;
/* discard 35 */
  (*(REF(35).tsdr)->finalize)(REF(35).value,F_DISCARD,sched);
  REF(35).tsdr = & dr_bottom;
/* discard 28 */
  (*(REF(28).tsdr)->finalize)(REF(28).value,F_DISCARD,sched);
  REF(28).tsdr = & dr_bottom;
/* discard 27 */
  (*(REF(27).tsdr)->finalize)(REF(27).value,F_DISCARD,sched);
  REF(27).tsdr = & dr_bottom;
/* discard 20 */
  (*(REF(20).tsdr)->finalize)(REF(20).value,F_DISCARD,sched);
  REF(20).tsdr = & dr_bottom;
/* discard 21 */
  (*(REF(21).tsdr)->finalize)(REF(21).value,F_DISCARD,sched);
  REF(21).tsdr = & dr_bottom;
/* discard 25 */
  (*(REF(25).tsdr)->finalize)(REF(25).value,F_DISCARD,sched);
  REF(25).tsdr = & dr_bottom;
/* discard 26 */
  (*(REF(26).tsdr)->finalize)(REF(26).value,F_DISCARD,sched);
  REF(26).tsdr = & dr_bottom;
/* discard 83 */
  (*(REF(83).tsdr)->finalize)(REF(83).value,F_DISCARD,sched);
  REF(83).tsdr = & dr_bottom;
/* chs_lit 224 , "Whoa! others exception in checkformal_typestate" */
  if( !chs_lit(DEF(224),"Whoa! others exception in checkformal_typestate") )
     goto ch_depletion;
/* print 224 */
  re_print(stderr, 0, DEF(224)); fflush(stderr);
/* discard 224 */
  (*(REF(224).tsdr)->finalize)(REF(224).value,F_DISCARD,sched);
  REF(224).tsdr = & dr_bottom;
c883:
/* endblock */
  che_endblock(sched);
c885:
/* endprocess */
  che_endprocess(sched); return;
#include "chtail.h"
