#include "chdecl.h"
void CH_typestate(current, sched, cop)
#define ARGUMENTS 10
#include "chhead.h"
select: switch (SELECTOR) {
    case 0: goto c0;
    case 1: goto cb2;
    case 2: goto c3;
    case 3: goto cb7;
    case 4: goto c8;
    case 5: goto cb10;
    case 6: goto c11;
    case 7: goto c348;
    case 8: goto c355;
    case 9: goto c358;
    case 10: goto c364;
    case 11: goto c373;
    case 12: goto cb388;
    case 13: goto c389;
    case 14: goto c401;
    case 15: goto cb407;
    case 16: goto c408;
    case 17: goto c412;
    case 18: goto c415;
    case 19: goto c418;
    case 20: goto c429;
    case 21: goto c438;
    case 22: goto c458;
    case 23: goto c465;
    case 24: goto cb565;
    case 25: goto c566;
    case 26: goto c568;
    case 27: goto c707;
    case 28: goto c715;  }
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:
/* new_record 4 , 22 */
  if ((ch_val.record = new_record(22)) == nil) goto ch_depletion;
  (*(REF(4).tsdr)->finalize)(REF(4).value,F_DISCARD,sched);
  REF(4).value = ch_val; REF(4).tsdr = & dr_record;
/* copy 4.21 3.0 */
  if((ch_returncode = (REF(3)DOT(0).tsdr->copy)(& ch_val, REF(3)DOT(0).value
    )) != Normal) goto ch_raise_exception;
  (*(REF(4)DOT(21).tsdr)->finalize)(REF(4)DOT(21).value,F_DISCARD,sched);
  REF(4)DOT(21).value = ch_val;
  REF(4)DOT(21).tsdr = datarepmap[REF(3)DOT(0).tsdr->number];
/* copy 4.16 3.3 */
  if((ch_returncode = (REF(3)DOT(3).tsdr->copy)(& ch_val, REF(3)DOT(3).value
    )) != Normal) goto ch_raise_exception;
  (*(REF(4)DOT(16).tsdr)->finalize)(REF(4)DOT(16).value,F_DISCARD,sched);
  REF(4)DOT(16).value = ch_val;
  REF(4)DOT(16).tsdr = datarepmap[REF(3)DOT(3).tsdr->number];
/* chs_lit 5 , "getformatters" */
  if( !chs_lit(DEF(5),"getformatters") ) goto ch_depletion;
  current->ip = 3;
cb7:
/* call 3.0.1 5 6 , 2 */
  if ((ch_returncode = che_call((
          arguments[0] = DEF(3)DOT(0)DOT(1),
          arguments[1] = DEF(5),
          arguments[2] = DEF(6),
          arguments[2+1] = nil,& arguments[0]),QUAL(2),sched)) != Normal)
     goto ch_raise_exception;
  return;
c8:
/* create 7 6 , 3 */
  if ((ch_returncode = che_create(DEF(7),DEF(6),QUAL(3),sched)) != Normal)
     goto ch_raise_exception;
/* discard 6 */
  (*(REF(6).tsdr)->finalize)(REF(6).value,F_DISCARD,sched);
  REF(6).tsdr = & dr_bottom;
  current->ip = 5;
cb10:
/* call 7 8 , 4 */
  if ((ch_returncode = che_call((
          arguments[0] = DEF(7),
          arguments[1] = DEF(8),
          arguments[1+1] = nil,& arguments[0]),QUAL(4),sched)) != Normal)
     goto ch_raise_exception;
  return;
c11:
/* move 4.20 8 */
  (*(REF(4)DOT(20).tsdr)->finalize)(REF(4)DOT(20).value,F_DISCARD,sched);
  REF(4)DOT(20) = REF(8);
  REF(8).tsdr = & dr_bottom;
/* prog_lit 9 , 5 */
  if ((ch_returncode = che_prog_lit(DEF(9),QUAL(5),sched)) != Normal) 
     goto ch_raise_exception;
/* procedure 10 9 , 6 */
  if ((ch_returncode = che_procedure(DEF(10),DEF(9),QUAL(6),sched)) != Normal)
     goto ch_raise_exception;
/* discard 9 */
  (*(REF(9).tsdr)->finalize)(REF(9).value,F_DISCARD,sched);
  REF(9).tsdr = & dr_bottom;
/* move 4.0 10 */
  (*(REF(4)DOT(0).tsdr)->finalize)(REF(4)DOT(0).value,F_DISCARD,sched);
  REF(4)DOT(0) = REF(10);
  REF(10).tsdr = & dr_bottom;
/* prog_lit 11 , 7 */
  if ((ch_returncode = che_prog_lit(DEF(11),QUAL(7),sched)) != Normal) 
     goto ch_raise_exception;
/* procedure 12 11 , 8 */
  if ((ch_returncode = che_procedure(DEF(12),DEF(11),QUAL(8)
    ,sched)) != Normal) goto ch_raise_exception;
/* discard 11 */
  (*(REF(11).tsdr)->finalize)(REF(11).value,F_DISCARD,sched);
  REF(11).tsdr = & dr_bottom;
/* move 4.1 12 */
  (*(REF(4)DOT(1).tsdr)->finalize)(REF(4)DOT(1).value,F_DISCARD,sched);
  REF(4)DOT(1) = REF(12);
  REF(12).tsdr = & dr_bottom;
/* prog_lit 13 , 9 */
  if ((ch_returncode = che_prog_lit(DEF(13),QUAL(9),sched)) != Normal) 
     goto ch_raise_exception;
/* procedure 14 13 , 10 */
  if ((ch_returncode = che_procedure(DEF(14),DEF(13),QUAL(10)
    ,sched)) != Normal) goto ch_raise_exception;
/* discard 13 */
  (*(REF(13).tsdr)->finalize)(REF(13).value,F_DISCARD,sched);
  REF(13).tsdr = & dr_bottom;
/* move 4.2 14 */
  (*(REF(4)DOT(2).tsdr)->finalize)(REF(4)DOT(2).value,F_DISCARD,sched);
  REF(4)DOT(2) = REF(14);
  REF(14).tsdr = & dr_bottom;
/* prog_lit 15 , 11 */
  if ((ch_returncode = che_prog_lit(DEF(15),QUAL(11),sched)) != Normal) 
     goto ch_raise_exception;
/* procedure 16 15 , 12 */
  if ((ch_returncode = che_procedure(DEF(16),DEF(15),QUAL(12)
    ,sched)) != Normal) goto ch_raise_exception;
/* discard 15 */
  (*(REF(15).tsdr)->finalize)(REF(15).value,F_DISCARD,sched);
  REF(15).tsdr = & dr_bottom;
/* move 4.3 16 */
  (*(REF(4)DOT(3).tsdr)->finalize)(REF(4)DOT(3).value,F_DISCARD,sched);
  REF(4)DOT(3) = REF(16);
  REF(16).tsdr = & dr_bottom;
/* prog_lit 17 , 13 */
  if ((ch_returncode = che_prog_lit(DEF(17),QUAL(13),sched)) != Normal) 
     goto ch_raise_exception;
/* procedure 18 17 , 14 */
  if ((ch_returncode = che_procedure(DEF(18),DEF(17),QUAL(14)
    ,sched)) != Normal) goto ch_raise_exception;
/* discard 17 */
  (*(REF(17).tsdr)->finalize)(REF(17).value,F_DISCARD,sched);
  REF(17).tsdr = & dr_bottom;
/* move 4.4 18 */
  (*(REF(4)DOT(4).tsdr)->finalize)(REF(4)DOT(4).value,F_DISCARD,sched);
  REF(4)DOT(4) = REF(18);
  REF(18).tsdr = & dr_bottom;
/* prog_lit 19 , 15 */
  if ((ch_returncode = che_prog_lit(DEF(19),QUAL(15),sched)) != Normal) 
     goto ch_raise_exception;
/* procedure 20 19 , 16 */
  if ((ch_returncode = che_procedure(DEF(20),DEF(19),QUAL(16)
    ,sched)) != Normal) goto ch_raise_exception;
/* discard 19 */
  (*(REF(19).tsdr)->finalize)(REF(19).value,F_DISCARD,sched);
  REF(19).tsdr = & dr_bottom;
/* move 4.5 20 */
  (*(REF(4)DOT(5).tsdr)->finalize)(REF(4)DOT(5).value,F_DISCARD,sched);
  REF(4)DOT(5) = REF(20);
  REF(20).tsdr = & dr_bottom;
/* prog_lit 21 , 17 */
  if ((ch_returncode = che_prog_lit(DEF(21),QUAL(17),sched)) != Normal) 
     goto ch_raise_exception;
/* procedure 22 21 , 18 */
  if ((ch_returncode = che_procedure(DEF(22),DEF(21),QUAL(18)
    ,sched)) != Normal) goto ch_raise_exception;
/* discard 21 */
  (*(REF(21).tsdr)->finalize)(REF(21).value,F_DISCARD,sched);
  REF(21).tsdr = & dr_bottom;
/* move 4.6 22 */
  (*(REF(4)DOT(6).tsdr)->finalize)(REF(4)DOT(6).value,F_DISCARD,sched);
  REF(4)DOT(6) = REF(22);
  REF(22).tsdr = & dr_bottom;
/* prog_lit 23 , 19 */
  if ((ch_returncode = che_prog_lit(DEF(23),QUAL(19),sched)) != Normal) 
     goto ch_raise_exception;
/* procedure 24 23 , 20 */
  if ((ch_returncode = che_procedure(DEF(24),DEF(23),QUAL(20)
    ,sched)) != Normal) goto ch_raise_exception;
/* discard 23 */
  (*(REF(23).tsdr)->finalize)(REF(23).value,F_DISCARD,sched);
  REF(23).tsdr = & dr_bottom;
/* move 4.7 24 */
  (*(REF(4)DOT(7).tsdr)->finalize)(REF(4)DOT(7).value,F_DISCARD,sched);
  REF(4)DOT(7) = REF(24);
  REF(24).tsdr = & dr_bottom;
/* prog_lit 25 , 21 */
  if ((ch_returncode = che_prog_lit(DEF(25),QUAL(21),sched)) != Normal) 
     goto ch_raise_exception;
/* procedure 26 25 , 22 */
  if ((ch_returncode = che_procedure(DEF(26),DEF(25),QUAL(22)
    ,sched)) != Normal) goto ch_raise_exception;
/* discard 25 */
  (*(REF(25).tsdr)->finalize)(REF(25).value,F_DISCARD,sched);
  REF(25).tsdr = & dr_bottom;
/* move 4.8 26 */
  (*(REF(4)DOT(8).tsdr)->finalize)(REF(4)DOT(8).value,F_DISCARD,sched);
  REF(4)DOT(8) = REF(26);
  REF(26).tsdr = & dr_bottom;
/* prog_lit 27 , 23 */
  if ((ch_returncode = che_prog_lit(DEF(27),QUAL(23),sched)) != Normal) 
     goto ch_raise_exception;
/* procedure 28 27 , 24 */
  if ((ch_returncode = che_procedure(DEF(28),DEF(27),QUAL(24)
    ,sched)) != Normal) goto ch_raise_exception;
/* discard 27 */
  (*(REF(27).tsdr)->finalize)(REF(27).value,F_DISCARD,sched);
  REF(27).tsdr = & dr_bottom;
/* move 4.9 28 */
  (*(REF(4)DOT(9).tsdr)->finalize)(REF(4)DOT(9).value,F_DISCARD,sched);
  REF(4)DOT(9) = REF(28);
  REF(28).tsdr = & dr_bottom;
/* prog_lit 29 , 25 */
  if ((ch_returncode = che_prog_lit(DEF(29),QUAL(25),sched)) != Normal) 
     goto ch_raise_exception;
/* procedure 30 29 , 26 */
  if ((ch_returncode = che_procedure(DEF(30),DEF(29),QUAL(26)
    ,sched)) != Normal) goto ch_raise_exception;
/* discard 29 */
  (*(REF(29).tsdr)->finalize)(REF(29).value,F_DISCARD,sched);
  REF(29).tsdr = & dr_bottom;
/* move 4.10 30 */
  (*(REF(4)DOT(10).tsdr)->finalize)(REF(4)DOT(10).value,F_DISCARD,sched);
  REF(4)DOT(10) = REF(30);
  REF(30).tsdr = & dr_bottom;
/* prog_lit 31 , 27 */
  if ((ch_returncode = che_prog_lit(DEF(31),QUAL(27),sched)) != Normal) 
     goto ch_raise_exception;
/* procedure 32 31 , 28 */
  if ((ch_returncode = che_procedure(DEF(32),DEF(31),QUAL(28)
    ,sched)) != Normal) goto ch_raise_exception;
/* discard 31 */
  (*(REF(31).tsdr)->finalize)(REF(31).value,F_DISCARD,sched);
  REF(31).tsdr = & dr_bottom;
/* move 4.12 32 */
  (*(REF(4)DOT(12).tsdr)->finalize)(REF(4)DOT(12).value,F_DISCARD,sched);
  REF(4)DOT(12) = REF(32);
  REF(32).tsdr = & dr_bottom;
/* prog_lit 33 , 29 */
  if ((ch_returncode = che_prog_lit(DEF(33),QUAL(29),sched)) != Normal) 
     goto ch_raise_exception;
/* procedure 34 33 , 30 */
  if ((ch_returncode = che_procedure(DEF(34),DEF(33),QUAL(30)
    ,sched)) != Normal) goto ch_raise_exception;
/* discard 33 */
  (*(REF(33).tsdr)->finalize)(REF(33).value,F_DISCARD,sched);
  REF(33).tsdr = & dr_bottom;
/* move 4.11 34 */
  (*(REF(4)DOT(11).tsdr)->finalize)(REF(4)DOT(11).value,F_DISCARD,sched);
  REF(4)DOT(11) = REF(34);
  REF(34).tsdr = & dr_bottom;
/* prog_lit 35 , 31 */
  if ((ch_returncode = che_prog_lit(DEF(35),QUAL(31),sched)) != Normal) 
     goto ch_raise_exception;
/* procedure 36 35 , 32 */
  if ((ch_returncode = che_procedure(DEF(36),DEF(35),QUAL(32)
    ,sched)) != Normal) goto ch_raise_exception;
/* discard 35 */
  (*(REF(35).tsdr)->finalize)(REF(35).value,F_DISCARD,sched);
  REF(35).tsdr = & dr_bottom;
/* move 4.13 36 */
  (*(REF(4)DOT(13).tsdr)->finalize)(REF(4)DOT(13).value,F_DISCARD,sched);
  REF(4)DOT(13) = REF(36);
  REF(36).tsdr = & dr_bottom;
/* prog_lit 37 , 33 */
  if ((ch_returncode = che_prog_lit(DEF(37),QUAL(33),sched)) != Normal) 
     goto ch_raise_exception;
/* procedure 38 37 , 34 */
  if ((ch_returncode = che_procedure(DEF(38),DEF(37),QUAL(34)
    ,sched)) != Normal) goto ch_raise_exception;
/* discard 37 */
  (*(REF(37).tsdr)->finalize)(REF(37).value,F_DISCARD,sched);
  REF(37).tsdr = & dr_bottom;
/* move 4.14 38 */
  (*(REF(4)DOT(14).tsdr)->finalize)(REF(4)DOT(14).value,F_DISCARD,sched);
  REF(4)DOT(14) = REF(38);
  REF(38).tsdr = & dr_bottom;
/* prog_lit 39 , 35 */
  if ((ch_returncode = che_prog_lit(DEF(39),QUAL(35),sched)) != Normal) 
     goto ch_raise_exception;
/* procedure 40 39 , 36 */
  if ((ch_returncode = che_procedure(DEF(40),DEF(39),QUAL(36)
    ,sched)) != Normal) goto ch_raise_exception;
/* discard 39 */
  (*(REF(39).tsdr)->finalize)(REF(39).value,F_DISCARD,sched);
  REF(39).tsdr = & dr_bottom;
/* move 4.15 40 */
  (*(REF(4)DOT(15).tsdr)->finalize)(REF(4)DOT(15).value,F_DISCARD,sched);
  REF(4)DOT(15) = REF(40);
  REF(40).tsdr = & dr_bottom;
/* prog_lit 41 , 37 */
  if ((ch_returncode = che_prog_lit(DEF(41),QUAL(37),sched)) != Normal) 
     goto ch_raise_exception;
/* procedure 42 41 , 38 */
  if ((ch_returncode = che_procedure(DEF(42),DEF(41),QUAL(38)
    ,sched)) != Normal) goto ch_raise_exception;
/* discard 41 */
  (*(REF(41).tsdr)->finalize)(REF(41).value,F_DISCARD,sched);
  REF(41).tsdr = & dr_bottom;
/* move 4.19 42 */
  (*(REF(4)DOT(19).tsdr)->finalize)(REF(4)DOT(19).value,F_DISCARD,sched);
  REF(4)DOT(19) = REF(42);
  REF(42).tsdr = & dr_bottom;
/* new_table 4.17 , 39 */
  if ((ch_returncode = che_new_table(DEF(4)DOT(17),QUAL(39)
    ,sched)) != Normal)  goto ch_raise_exception;
/* new_table 4.18 , 39 */
  if ((ch_returncode = che_new_table(DEF(4)DOT(18),QUAL(39)
    ,sched)) != Normal)  goto ch_raise_exception;
/* prog_lit 43 , 40 */
  if ((ch_returncode = che_prog_lit(DEF(43),QUAL(40),sched)) != Normal) 
     goto ch_raise_exception;
/* procedure 44 43 , 41 */
  if ((ch_returncode = che_procedure(DEF(44),DEF(43),QUAL(41)
    ,sched)) != Normal) goto ch_raise_exception;
/* discard 43 */
  (*(REF(43).tsdr)->finalize)(REF(43).value,F_DISCARD,sched);
  REF(43).tsdr = & dr_bottom;
/* move 45 44 */
  (*(REF(45).tsdr)->finalize)(REF(45).value,F_DISCARD,sched);
  REF(45) = REF(44);
  REF(44).tsdr = & dr_bottom;
/* prog_lit 46 , 42 */
  if ((ch_returncode = che_prog_lit(DEF(46),QUAL(42),sched)) != Normal) 
     goto ch_raise_exception;
/* procedure 47 46 , 43 */
  if ((ch_returncode = che_procedure(DEF(47),DEF(46),QUAL(43)
    ,sched)) != Normal) goto ch_raise_exception;
/* discard 46 */
  (*(REF(46).tsdr)->finalize)(REF(46).value,F_DISCARD,sched);
  REF(46).tsdr = & dr_bottom;
/* move 48 47 */
  (*(REF(48).tsdr)->finalize)(REF(48).value,F_DISCARD,sched);
  REF(48) = REF(47);
  REF(47).tsdr = & dr_bottom;
/* new_record 49 , 2 */
  if ((ch_val.record = new_record(2)) == nil) goto ch_depletion;
  (*(REF(49).tsdr)->finalize)(REF(49).value,F_DISCARD,sched);
  REF(49).value = ch_val; REF(49).tsdr = & dr_record;
/* enum_lit 49.0 , 4 */
  REF(49)DOT(0).value.enumeration = 4;
  REF(49)DOT(0).tsdr = & dr_enumeration;
/* prog_lit 50 , 44 */
  if ((ch_returncode = che_prog_lit(DEF(50),QUAL(44),sched)) != Normal) 
     goto ch_raise_exception;
/* procedure 51 50 , 41 */
  if ((ch_returncode = che_procedure(DEF(51),DEF(50),QUAL(41)
    ,sched)) != Normal) goto ch_raise_exception;
/* discard 50 */
  (*(REF(50).tsdr)->finalize)(REF(50).value,F_DISCARD,sched);
  REF(50).tsdr = & dr_bottom;
/* move 49.1 51 */
  (*(REF(49)DOT(1).tsdr)->finalize)(REF(49)DOT(1).value,F_DISCARD,sched);
  REF(49)DOT(1) = REF(51);
  REF(51).tsdr = & dr_bottom;
/* insert 4.17 49 */
  if ((ch_returncode = insertfunc(DEF(4)DOT(17),DEF(49),FALSE,0)) != Normal)
     goto ch_raise_exception;
/* new_record 52 , 2 */
  if ((ch_val.record = new_record(2)) == nil) goto ch_depletion;
  (*(REF(52).tsdr)->finalize)(REF(52).value,F_DISCARD,sched);
  REF(52).value = ch_val; REF(52).tsdr = & dr_record;
/* enum_lit 52.0 , 0 */
  REF(52)DOT(0).value.enumeration = 0;
  REF(52)DOT(0).tsdr = & dr_enumeration;
/* prog_lit 53 , 45 */
  if ((ch_returncode = che_prog_lit(DEF(53),QUAL(45),sched)) != Normal) 
     goto ch_raise_exception;
/* procedure 54 53 , 41 */
  if ((ch_returncode = che_procedure(DEF(54),DEF(53),QUAL(41)
    ,sched)) != Normal) goto ch_raise_exception;
/* discard 53 */
  (*(REF(53).tsdr)->finalize)(REF(53).value,F_DISCARD,sched);
  REF(53).tsdr = & dr_bottom;
/* move 52.1 54 */
  (*(REF(52)DOT(1).tsdr)->finalize)(REF(52)DOT(1).value,F_DISCARD,sched);
  REF(52)DOT(1) = REF(54);
  REF(54).tsdr = & dr_bottom;
/* insert 4.17 52 */
  if ((ch_returncode = insertfunc(DEF(4)DOT(17),DEF(52),FALSE,0)) != Normal)
     goto ch_raise_exception;
/* new_record 55 , 2 */
  if ((ch_val.record = new_record(2)) == nil) goto ch_depletion;
  (*(REF(55).tsdr)->finalize)(REF(55).value,F_DISCARD,sched);
  REF(55).value = ch_val; REF(55).tsdr = & dr_record;
/* enum_lit 55.0 , 2 */
  REF(55)DOT(0).value.enumeration = 2;
  REF(55)DOT(0).tsdr = & dr_enumeration;
/* prog_lit 56 , 46 */
  if ((ch_returncode = che_prog_lit(DEF(56),QUAL(46),sched)) != Normal) 
     goto ch_raise_exception;
/* procedure 57 56 , 41 */
  if ((ch_returncode = che_procedure(DEF(57),DEF(56),QUAL(41)
    ,sched)) != Normal) goto ch_raise_exception;
/* discard 56 */
  (*(REF(56).tsdr)->finalize)(REF(56).value,F_DISCARD,sched);
  REF(56).tsdr = & dr_bottom;
/* move 55.1 57 */
  (*(REF(55)DOT(1).tsdr)->finalize)(REF(55)DOT(1).value,F_DISCARD,sched);
  REF(55)DOT(1) = REF(57);
  REF(57).tsdr = & dr_bottom;
/* insert 4.17 55 */
  if ((ch_returncode = insertfunc(DEF(4)DOT(17),DEF(55),FALSE,0)) != Normal)
     goto ch_raise_exception;
/* new_record 58 , 2 */
  if ((ch_val.record = new_record(2)) == nil) goto ch_depletion;
  (*(REF(58).tsdr)->finalize)(REF(58).value,F_DISCARD,sched);
  REF(58).value = ch_val; REF(58).tsdr = & dr_record;
/* enum_lit 58.0 , 1 */
  REF(58)DOT(0).value.enumeration = 1;
  REF(58)DOT(0).tsdr = & dr_enumeration;
/* prog_lit 59 , 47 */
  if ((ch_returncode = che_prog_lit(DEF(59),QUAL(47),sched)) != Normal) 
     goto ch_raise_exception;
/* procedure 60 59 , 41 */
  if ((ch_returncode = che_procedure(DEF(60),DEF(59),QUAL(41)
    ,sched)) != Normal) goto ch_raise_exception;
/* discard 59 */
  (*(REF(59).tsdr)->finalize)(REF(59).value,F_DISCARD,sched);
  REF(59).tsdr = & dr_bottom;
/* move 58.1 60 */
  (*(REF(58)DOT(1).tsdr)->finalize)(REF(58)DOT(1).value,F_DISCARD,sched);
  REF(58)DOT(1) = REF(60);
  REF(60).tsdr = & dr_bottom;
/* insert 4.17 58 */
  if ((ch_returncode = insertfunc(DEF(4)DOT(17),DEF(58),FALSE,0)) != Normal)
     goto ch_raise_exception;
/* new_record 61 , 2 */
  if ((ch_val.record = new_record(2)) == nil) goto ch_depletion;
  (*(REF(61).tsdr)->finalize)(REF(61).value,F_DISCARD,sched);
  REF(61).value = ch_val; REF(61).tsdr = & dr_record;
/* enum_lit 61.0 , 3 */
  REF(61)DOT(0).value.enumeration = 3;
  REF(61)DOT(0).tsdr = & dr_enumeration;
/* copy 61.1 45 */
  if((ch_returncode = cp_outport(& ch_val, REF(45).value)) != Normal)
     goto ch_raise_exception;
  (*(REF(61)DOT(1).tsdr)->finalize)(REF(61)DOT(1).value,F_DISCARD,sched);
  REF(61)DOT(1).value = ch_val;
  REF(61)DOT(1).tsdr = & dr_outport;
/* insert 4.17 61 */
  if ((ch_returncode = insertfunc(DEF(4)DOT(17),DEF(61),FALSE,0)) != Normal)
     goto ch_raise_exception;
/* new_record 62 , 2 */
  if ((ch_val.record = new_record(2)) == nil) goto ch_depletion;
  (*(REF(62).tsdr)->finalize)(REF(62).value,F_DISCARD,sched);
  REF(62).value = ch_val; REF(62).tsdr = & dr_record;
/* enum_lit 62.0 , 5 */
  REF(62)DOT(0).value.enumeration = 5;
  REF(62)DOT(0).tsdr = & dr_enumeration;
/* copy 62.1 45 */
  if((ch_returncode = cp_outport(& ch_val, REF(45).value)) != Normal)
     goto ch_raise_exception;
  (*(REF(62)DOT(1).tsdr)->finalize)(REF(62)DOT(1).value,F_DISCARD,sched);
  REF(62)DOT(1).value = ch_val;
  REF(62)DOT(1).tsdr = & dr_outport;
/* insert 4.17 62 */
  if ((ch_returncode = insertfunc(DEF(4)DOT(17),DEF(62),FALSE,0)) != Normal)
     goto ch_raise_exception;
/* new_record 63 , 2 */
  if ((ch_val.record = new_record(2)) == nil) goto ch_depletion;
  (*(REF(63).tsdr)->finalize)(REF(63).value,F_DISCARD,sched);
  REF(63).value = ch_val; REF(63).tsdr = & dr_record;
/* enum_lit 63.0 , 6 */
  REF(63)DOT(0).value.enumeration = 6;
  REF(63)DOT(0).tsdr = & dr_enumeration;
/* prog_lit 64 , 48 */
  if ((ch_returncode = che_prog_lit(DEF(64),QUAL(48),sched)) != Normal) 
     goto ch_raise_exception;
/* procedure 65 64 , 41 */
  if ((ch_returncode = che_procedure(DEF(65),DEF(64),QUAL(41)
    ,sched)) != Normal) goto ch_raise_exception;
/* discard 64 */
  (*(REF(64).tsdr)->finalize)(REF(64).value,F_DISCARD,sched);
  REF(64).tsdr = & dr_bottom;
/* move 63.1 65 */
  (*(REF(63)DOT(1).tsdr)->finalize)(REF(63)DOT(1).value,F_DISCARD,sched);
  REF(63)DOT(1) = REF(65);
  REF(65).tsdr = & dr_bottom;
/* insert 4.17 63 */
  if ((ch_returncode = insertfunc(DEF(4)DOT(17),DEF(63),FALSE,0)) != Normal)
     goto ch_raise_exception;
/* new_record 66 , 2 */
  if ((ch_val.record = new_record(2)) == nil) goto ch_depletion;
  (*(REF(66).tsdr)->finalize)(REF(66).value,F_DISCARD,sched);
  REF(66).value = ch_val; REF(66).tsdr = & dr_record;
/* enum_lit 66.0 , 7 */
  REF(66)DOT(0).value.enumeration = 7;
  REF(66)DOT(0).tsdr = & dr_enumeration;
/* prog_lit 67 , 49 */
  if ((ch_returncode = che_prog_lit(DEF(67),QUAL(49),sched)) != Normal) 
     goto ch_raise_exception;
/* procedure 68 67 , 41 */
  if ((ch_returncode = che_procedure(DEF(68),DEF(67),QUAL(41)
    ,sched)) != Normal) goto ch_raise_exception;
/* discard 67 */
  (*(REF(67).tsdr)->finalize)(REF(67).value,F_DISCARD,sched);
  REF(67).tsdr = & dr_bottom;
/* move 66.1 68 */
  (*(REF(66)DOT(1).tsdr)->finalize)(REF(66)DOT(1).value,F_DISCARD,sched);
  REF(66)DOT(1) = REF(68);
  REF(68).tsdr = & dr_bottom;
/* insert 4.17 66 */
  if ((ch_returncode = insertfunc(DEF(4)DOT(17),DEF(66),FALSE,0)) != Normal)
     goto ch_raise_exception;
/* new_record 69 , 2 */
  if ((ch_val.record = new_record(2)) == nil) goto ch_depletion;
  (*(REF(69).tsdr)->finalize)(REF(69).value,F_DISCARD,sched);
  REF(69).value = ch_val; REF(69).tsdr = & dr_record;
/* enum_lit 69.0 , 8 */
  REF(69)DOT(0).value.enumeration = 8;
  REF(69)DOT(0).tsdr = & dr_enumeration;
/* prog_lit 70 , 50 */
  if ((ch_returncode = che_prog_lit(DEF(70),QUAL(50),sched)) != Normal) 
     goto ch_raise_exception;
/* procedure 71 70 , 41 */
  if ((ch_returncode = che_procedure(DEF(71),DEF(70),QUAL(41)
    ,sched)) != Normal) goto ch_raise_exception;
/* discard 70 */
  (*(REF(70).tsdr)->finalize)(REF(70).value,F_DISCARD,sched);
  REF(70).tsdr = & dr_bottom;
/* move 69.1 71 */
  (*(REF(69)DOT(1).tsdr)->finalize)(REF(69)DOT(1).value,F_DISCARD,sched);
  REF(69)DOT(1) = REF(71);
  REF(71).tsdr = & dr_bottom;
/* insert 4.17 69 */
  if ((ch_returncode = insertfunc(DEF(4)DOT(17),DEF(69),FALSE,0)) != Normal)
     goto ch_raise_exception;
/* new_record 72 , 2 */
  if ((ch_val.record = new_record(2)) == nil) goto ch_depletion;
  (*(REF(72).tsdr)->finalize)(REF(72).value,F_DISCARD,sched);
  REF(72).value = ch_val; REF(72).tsdr = & dr_record;
/* enum_lit 72.0 , 9 */
  REF(72)DOT(0).value.enumeration = 9;
  REF(72)DOT(0).tsdr = & dr_enumeration;
/* prog_lit 73 , 51 */
  if ((ch_returncode = che_prog_lit(DEF(73),QUAL(51),sched)) != Normal) 
     goto ch_raise_exception;
/* procedure 74 73 , 41 */
  if ((ch_returncode = che_procedure(DEF(74),DEF(73),QUAL(41)
    ,sched)) != Normal) goto ch_raise_exception;
/* discard 73 */
  (*(REF(73).tsdr)->finalize)(REF(73).value,F_DISCARD,sched);
  REF(73).tsdr = & dr_bottom;
/* move 72.1 74 */
  (*(REF(72)DOT(1).tsdr)->finalize)(REF(72)DOT(1).value,F_DISCARD,sched);
  REF(72)DOT(1) = REF(74);
  REF(74).tsdr = & dr_bottom;
/* insert 4.17 72 */
  if ((ch_returncode = insertfunc(DEF(4)DOT(17),DEF(72),FALSE,0)) != Normal)
     goto ch_raise_exception;
/* new_record 75 , 2 */
  if ((ch_val.record = new_record(2)) == nil) goto ch_depletion;
  (*(REF(75).tsdr)->finalize)(REF(75).value,F_DISCARD,sched);
  REF(75).value = ch_val; REF(75).tsdr = & dr_record;
/* enum_lit 75.0 , 10 */
  REF(75)DOT(0).value.enumeration = 10;
  REF(75)DOT(0).tsdr = & dr_enumeration;
/* prog_lit 76 , 52 */
  if ((ch_returncode = che_prog_lit(DEF(76),QUAL(52),sched)) != Normal) 
     goto ch_raise_exception;
/* procedure 77 76 , 41 */
  if ((ch_returncode = che_procedure(DEF(77),DEF(76),QUAL(41)
    ,sched)) != Normal) goto ch_raise_exception;
/* discard 76 */
  (*(REF(76).tsdr)->finalize)(REF(76).value,F_DISCARD,sched);
  REF(76).tsdr = & dr_bottom;
/* move 75.1 77 */
  (*(REF(75)DOT(1).tsdr)->finalize)(REF(75)DOT(1).value,F_DISCARD,sched);
  REF(75)DOT(1) = REF(77);
  REF(77).tsdr = & dr_bottom;
/* insert 4.17 75 */
  if ((ch_returncode = insertfunc(DEF(4)DOT(17),DEF(75),FALSE,0)) != Normal)
     goto ch_raise_exception;
/* new_record 78 , 2 */
  if ((ch_val.record = new_record(2)) == nil) goto ch_depletion;
  (*(REF(78).tsdr)->finalize)(REF(78).value,F_DISCARD,sched);
  REF(78).value = ch_val; REF(78).tsdr = & dr_record;
/* enum_lit 78.0 , 11 */
  REF(78)DOT(0).value.enumeration = 11;
  REF(78)DOT(0).tsdr = & dr_enumeration;
/* prog_lit 79 , 53 */
  if ((ch_returncode = che_prog_lit(DEF(79),QUAL(53),sched)) != Normal) 
     goto ch_raise_exception;
/* procedure 80 79 , 41 */
  if ((ch_returncode = che_procedure(DEF(80),DEF(79),QUAL(41)
    ,sched)) != Normal) goto ch_raise_exception;
/* discard 79 */
  (*(REF(79).tsdr)->finalize)(REF(79).value,F_DISCARD,sched);
  REF(79).tsdr = & dr_bottom;
/* move 78.1 80 */
  (*(REF(78)DOT(1).tsdr)->finalize)(REF(78)DOT(1).value,F_DISCARD,sched);
  REF(78)DOT(1) = REF(80);
  REF(80).tsdr = & dr_bottom;
/* insert 4.17 78 */
  if ((ch_returncode = insertfunc(DEF(4)DOT(17),DEF(78),FALSE,0)) != Normal)
     goto ch_raise_exception;
/* new_record 81 , 2 */
  if ((ch_val.record = new_record(2)) == nil) goto ch_depletion;
  (*(REF(81).tsdr)->finalize)(REF(81).value,F_DISCARD,sched);
  REF(81).value = ch_val; REF(81).tsdr = & dr_record;
/* enum_lit 81.0 , 12 */
  REF(81)DOT(0).value.enumeration = 12;
  REF(81)DOT(0).tsdr = & dr_enumeration;
/* prog_lit 82 , 54 */
  if ((ch_returncode = che_prog_lit(DEF(82),QUAL(54),sched)) != Normal) 
     goto ch_raise_exception;
/* procedure 83 82 , 41 */
  if ((ch_returncode = che_procedure(DEF(83),DEF(82),QUAL(41)
    ,sched)) != Normal) goto ch_raise_exception;
/* discard 82 */
  (*(REF(82).tsdr)->finalize)(REF(82).value,F_DISCARD,sched);
  REF(82).tsdr = & dr_bottom;
/* move 81.1 83 */
  (*(REF(81)DOT(1).tsdr)->finalize)(REF(81)DOT(1).value,F_DISCARD,sched);
  REF(81)DOT(1) = REF(83);
  REF(83).tsdr = & dr_bottom;
/* insert 4.17 81 */
  if ((ch_returncode = insertfunc(DEF(4)DOT(17),DEF(81),FALSE,0)) != Normal)
     goto ch_raise_exception;
/* new_record 84 , 2 */
  if ((ch_val.record = new_record(2)) == nil) goto ch_depletion;
  (*(REF(84).tsdr)->finalize)(REF(84).value,F_DISCARD,sched);
  REF(84).value = ch_val; REF(84).tsdr = & dr_record;
/* enum_lit 84.0 , 13 */
  REF(84)DOT(0).value.enumeration = 13;
  REF(84)DOT(0).tsdr = & dr_enumeration;
/* prog_lit 85 , 55 */
  if ((ch_returncode = che_prog_lit(DEF(85),QUAL(55),sched)) != Normal) 
     goto ch_raise_exception;
/* procedure 86 85 , 41 */
  if ((ch_returncode = che_procedure(DEF(86),DEF(85),QUAL(41)
    ,sched)) != Normal) goto ch_raise_exception;
/* discard 85 */
  (*(REF(85).tsdr)->finalize)(REF(85).value,F_DISCARD,sched);
  REF(85).tsdr = & dr_bottom;
/* move 84.1 86 */
  (*(REF(84)DOT(1).tsdr)->finalize)(REF(84)DOT(1).value,F_DISCARD,sched);
  REF(84)DOT(1) = REF(86);
  REF(86).tsdr = & dr_bottom;
/* insert 4.17 84 */
  if ((ch_returncode = insertfunc(DEF(4)DOT(17),DEF(84),FALSE,0)) != Normal)
     goto ch_raise_exception;
/* new_record 87 , 2 */
  if ((ch_val.record = new_record(2)) == nil) goto ch_depletion;
  (*(REF(87).tsdr)->finalize)(REF(87).value,F_DISCARD,sched);
  REF(87).value = ch_val; REF(87).tsdr = & dr_record;
/* enum_lit 87.0 , 14 */
  REF(87)DOT(0).value.enumeration = 14;
  REF(87)DOT(0).tsdr = & dr_enumeration;
/* prog_lit 88 , 56 */
  if ((ch_returncode = che_prog_lit(DEF(88),QUAL(56),sched)) != Normal) 
     goto ch_raise_exception;
/* procedure 89 88 , 41 */
  if ((ch_returncode = che_procedure(DEF(89),DEF(88),QUAL(41)
    ,sched)) != Normal) goto ch_raise_exception;
/* discard 88 */
  (*(REF(88).tsdr)->finalize)(REF(88).value,F_DISCARD,sched);
  REF(88).tsdr = & dr_bottom;
/* move 87.1 89 */
  (*(REF(87)DOT(1).tsdr)->finalize)(REF(87)DOT(1).value,F_DISCARD,sched);
  REF(87)DOT(1) = REF(89);
  REF(89).tsdr = & dr_bottom;
/* insert 4.17 87 */
  if ((ch_returncode = insertfunc(DEF(4)DOT(17),DEF(87),FALSE,0)) != Normal)
     goto ch_raise_exception;
/* new_record 90 , 2 */
  if ((ch_val.record = new_record(2)) == nil) goto ch_depletion;
  (*(REF(90).tsdr)->finalize)(REF(90).value,F_DISCARD,sched);
  REF(90).value = ch_val; REF(90).tsdr = & dr_record;
/* enum_lit 90.0 , 15 */
  REF(90)DOT(0).value.enumeration = 15;
  REF(90)DOT(0).tsdr = & dr_enumeration;
/* prog_lit 91 , 57 */
  if ((ch_returncode = che_prog_lit(DEF(91),QUAL(57),sched)) != Normal) 
     goto ch_raise_exception;
/* procedure 92 91 , 41 */
  if ((ch_returncode = che_procedure(DEF(92),DEF(91),QUAL(41)
    ,sched)) != Normal) goto ch_raise_exception;
/* discard 91 */
  (*(REF(91).tsdr)->finalize)(REF(91).value,F_DISCARD,sched);
  REF(91).tsdr = & dr_bottom;
/* move 90.1 92 */
  (*(REF(90)DOT(1).tsdr)->finalize)(REF(90)DOT(1).value,F_DISCARD,sched);
  REF(90)DOT(1) = REF(92);
  REF(92).tsdr = & dr_bottom;
/* insert 4.17 90 */
  if ((ch_returncode = insertfunc(DEF(4)DOT(17),DEF(90),FALSE,0)) != Normal)
     goto ch_raise_exception;
/* new_record 93 , 2 */
  if ((ch_val.record = new_record(2)) == nil) goto ch_depletion;
  (*(REF(93).tsdr)->finalize)(REF(93).value,F_DISCARD,sched);
  REF(93).value = ch_val; REF(93).tsdr = & dr_record;
/* enum_lit 93.0 , 0 */
  REF(93)DOT(0).value.enumeration = 0;
  REF(93)DOT(0).tsdr = & dr_enumeration;
/* prog_lit 94 , 58 */
  if ((ch_returncode = che_prog_lit(DEF(94),QUAL(58),sched)) != Normal) 
     goto ch_raise_exception;
/* procedure 95 94 , 43 */
  if ((ch_returncode = che_procedure(DEF(95),DEF(94),QUAL(43)
    ,sched)) != Normal) goto ch_raise_exception;
/* discard 94 */
  (*(REF(94).tsdr)->finalize)(REF(94).value,F_DISCARD,sched);
  REF(94).tsdr = & dr_bottom;
/* move 93.1 95 */
  (*(REF(93)DOT(1).tsdr)->finalize)(REF(93)DOT(1).value,F_DISCARD,sched);
  REF(93)DOT(1) = REF(95);
  REF(95).tsdr = & dr_bottom;
/* insert 4.18 93 */
  if ((ch_returncode = insertfunc(DEF(4)DOT(18),DEF(93),FALSE,0)) != Normal)
     goto ch_raise_exception;
/* new_record 96 , 2 */
  if ((ch_val.record = new_record(2)) == nil) goto ch_depletion;
  (*(REF(96).tsdr)->finalize)(REF(96).value,F_DISCARD,sched);
  REF(96).value = ch_val; REF(96).tsdr = & dr_record;
/* enum_lit 96.0 , 1 */
  REF(96)DOT(0).value.enumeration = 1;
  REF(96)DOT(0).tsdr = & dr_enumeration;
/* copy 96.1 48 */
  if((ch_returncode = cp_outport(& ch_val, REF(48).value)) != Normal)
     goto ch_raise_exception;
  (*(REF(96)DOT(1).tsdr)->finalize)(REF(96)DOT(1).value,F_DISCARD,sched);
  REF(96)DOT(1).value = ch_val;
  REF(96)DOT(1).tsdr = & dr_outport;
/* insert 4.18 96 */
  if ((ch_returncode = insertfunc(DEF(4)DOT(18),DEF(96),FALSE,0)) != Normal)
     goto ch_raise_exception;
/* new_record 97 , 2 */
  if ((ch_val.record = new_record(2)) == nil) goto ch_depletion;
  (*(REF(97).tsdr)->finalize)(REF(97).value,F_DISCARD,sched);
  REF(97).value = ch_val; REF(97).tsdr = & dr_record;
/* enum_lit 97.0 , 2 */
  REF(97)DOT(0).value.enumeration = 2;
  REF(97)DOT(0).tsdr = & dr_enumeration;
/* prog_lit 98 , 59 */
  if ((ch_returncode = che_prog_lit(DEF(98),QUAL(59),sched)) != Normal) 
     goto ch_raise_exception;
/* procedure 99 98 , 43 */
  if ((ch_returncode = che_procedure(DEF(99),DEF(98),QUAL(43)
    ,sched)) != Normal) goto ch_raise_exception;
/* discard 98 */
  (*(REF(98).tsdr)->finalize)(REF(98).value,F_DISCARD,sched);
  REF(98).tsdr = & dr_bottom;
/* move 97.1 99 */
  (*(REF(97)DOT(1).tsdr)->finalize)(REF(97)DOT(1).value,F_DISCARD,sched);
  REF(97)DOT(1) = REF(99);
  REF(99).tsdr = & dr_bottom;
/* insert 4.18 97 */
  if ((ch_returncode = insertfunc(DEF(4)DOT(18),DEF(97),FALSE,0)) != Normal)
     goto ch_raise_exception;
/* new_record 100 , 2 */
  if ((ch_val.record = new_record(2)) == nil) goto ch_depletion;
  (*(REF(100).tsdr)->finalize)(REF(100).value,F_DISCARD,sched);
  REF(100).value = ch_val; REF(100).tsdr = & dr_record;
/* enum_lit 100.0 , 3 */
  REF(100)DOT(0).value.enumeration = 3;
  REF(100)DOT(0).tsdr = & dr_enumeration;
/* prog_lit 101 , 60 */
  if ((ch_returncode = che_prog_lit(DEF(101),QUAL(60),sched)) != Normal) 
     goto ch_raise_exception;
/* procedure 102 101 , 43 */
  if ((ch_returncode = che_procedure(DEF(102),DEF(101),QUAL(43)
    ,sched)) != Normal) goto ch_raise_exception;
/* discard 101 */
  (*(REF(101).tsdr)->finalize)(REF(101).value,F_DISCARD,sched);
  REF(101).tsdr = & dr_bottom;
/* move 100.1 102 */
  (*(REF(100)DOT(1).tsdr)->finalize)(REF(100)DOT(1).value,F_DISCARD,sched);
  REF(100)DOT(1) = REF(102);
  REF(102).tsdr = & dr_bottom;
/* insert 4.18 100 */
  if ((ch_returncode = insertfunc(DEF(4)DOT(18),DEF(100),FALSE,0)) != Normal)
     goto ch_raise_exception;
/* new_record 103 , 2 */
  if ((ch_val.record = new_record(2)) == nil) goto ch_depletion;
  (*(REF(103).tsdr)->finalize)(REF(103).value,F_DISCARD,sched);
  REF(103).value = ch_val; REF(103).tsdr = & dr_record;
/* enum_lit 103.0 , 4 */
  REF(103)DOT(0).value.enumeration = 4;
  REF(103)DOT(0).tsdr = & dr_enumeration;
/* prog_lit 104 , 61 */
  if ((ch_returncode = che_prog_lit(DEF(104),QUAL(61),sched)) != Normal) 
     goto ch_raise_exception;
/* procedure 105 104 , 43 */
  if ((ch_returncode = che_procedure(DEF(105),DEF(104),QUAL(43)
    ,sched)) != Normal) goto ch_raise_exception;
/* discard 104 */
  (*(REF(104).tsdr)->finalize)(REF(104).value,F_DISCARD,sched);
  REF(104).tsdr = & dr_bottom;
/* move 103.1 105 */
  (*(REF(103)DOT(1).tsdr)->finalize)(REF(103)DOT(1).value,F_DISCARD,sched);
  REF(103)DOT(1) = REF(105);
  REF(105).tsdr = & dr_bottom;
/* insert 4.18 103 */
  if ((ch_returncode = insertfunc(DEF(4)DOT(18),DEF(103),FALSE,0)) != Normal)
     goto ch_raise_exception;
/* new_record 106 , 2 */
  if ((ch_val.record = new_record(2)) == nil) goto ch_depletion;
  (*(REF(106).tsdr)->finalize)(REF(106).value,F_DISCARD,sched);
  REF(106).value = ch_val; REF(106).tsdr = & dr_record;
/* enum_lit 106.0 , 5 */
  REF(106)DOT(0).value.enumeration = 5;
  REF(106)DOT(0).tsdr = & dr_enumeration;
/* prog_lit 107 , 62 */
  if ((ch_returncode = che_prog_lit(DEF(107),QUAL(62),sched)) != Normal) 
     goto ch_raise_exception;
/* procedure 108 107 , 43 */
  if ((ch_returncode = che_procedure(DEF(108),DEF(107),QUAL(43)
    ,sched)) != Normal) goto ch_raise_exception;
/* discard 107 */
  (*(REF(107).tsdr)->finalize)(REF(107).value,F_DISCARD,sched);
  REF(107).tsdr = & dr_bottom;
/* move 106.1 108 */
  (*(REF(106)DOT(1).tsdr)->finalize)(REF(106)DOT(1).value,F_DISCARD,sched);
  REF(106)DOT(1) = REF(108);
  REF(108).tsdr = & dr_bottom;
/* insert 4.18 106 */
  if ((ch_returncode = insertfunc(DEF(4)DOT(18),DEF(106),FALSE,0)) != Normal)
     goto ch_raise_exception;
/* new_record 109 , 2 */
  if ((ch_val.record = new_record(2)) == nil) goto ch_depletion;
  (*(REF(109).tsdr)->finalize)(REF(109).value,F_DISCARD,sched);
  REF(109).value = ch_val; REF(109).tsdr = & dr_record;
/* enum_lit 109.0 , 6 */
  REF(109)DOT(0).value.enumeration = 6;
  REF(109)DOT(0).tsdr = & dr_enumeration;
/* prog_lit 110 , 63 */
  if ((ch_returncode = che_prog_lit(DEF(110),QUAL(63),sched)) != Normal) 
     goto ch_raise_exception;
/* procedure 111 110 , 43 */
  if ((ch_returncode = che_procedure(DEF(111),DEF(110),QUAL(43)
    ,sched)) != Normal) goto ch_raise_exception;
/* discard 110 */
  (*(REF(110).tsdr)->finalize)(REF(110).value,F_DISCARD,sched);
  REF(110).tsdr = & dr_bottom;
/* move 109.1 111 */
  (*(REF(109)DOT(1).tsdr)->finalize)(REF(109)DOT(1).value,F_DISCARD,sched);
  REF(109)DOT(1) = REF(111);
  REF(111).tsdr = & dr_bottom;
/* insert 4.18 109 */
  if ((ch_returncode = insertfunc(DEF(4)DOT(18),DEF(109),FALSE,0)) != Normal)
     goto ch_raise_exception;
/* new_record 112 , 2 */
  if ((ch_val.record = new_record(2)) == nil) goto ch_depletion;
  (*(REF(112).tsdr)->finalize)(REF(112).value,F_DISCARD,sched);
  REF(112).value = ch_val; REF(112).tsdr = & dr_record;
/* enum_lit 112.0 , 7 */
  REF(112)DOT(0).value.enumeration = 7;
  REF(112)DOT(0).tsdr = & dr_enumeration;
/* prog_lit 113 , 64 */
  if ((ch_returncode = che_prog_lit(DEF(113),QUAL(64),sched)) != Normal) 
     goto ch_raise_exception;
/* procedure 114 113 , 43 */
  if ((ch_returncode = che_procedure(DEF(114),DEF(113),QUAL(43)
    ,sched)) != Normal) goto ch_raise_exception;
/* discard 113 */
  (*(REF(113).tsdr)->finalize)(REF(113).value,F_DISCARD,sched);
  REF(113).tsdr = & dr_bottom;
/* move 112.1 114 */
  (*(REF(112)DOT(1).tsdr)->finalize)(REF(112)DOT(1).value,F_DISCARD,sched);
  REF(112)DOT(1) = REF(114);
  REF(114).tsdr = & dr_bottom;
/* insert 4.18 112 */
  if ((ch_returncode = insertfunc(DEF(4)DOT(18),DEF(112),FALSE,0)) != Normal)
     goto ch_raise_exception;
/* new_record 115 , 2 */
  if ((ch_val.record = new_record(2)) == nil) goto ch_depletion;
  (*(REF(115).tsdr)->finalize)(REF(115).value,F_DISCARD,sched);
  REF(115).value = ch_val; REF(115).tsdr = & dr_record;
/* enum_lit 115.0 , 8 */
  REF(115)DOT(0).value.enumeration = 8;
  REF(115)DOT(0).tsdr = & dr_enumeration;
/* prog_lit 116 , 65 */
  if ((ch_returncode = che_prog_lit(DEF(116),QUAL(65),sched)) != Normal) 
     goto ch_raise_exception;
/* procedure 117 116 , 43 */
  if ((ch_returncode = che_procedure(DEF(117),DEF(116),QUAL(43)
    ,sched)) != Normal) goto ch_raise_exception;
/* discard 116 */
  (*(REF(116).tsdr)->finalize)(REF(116).value,F_DISCARD,sched);
  REF(116).tsdr = & dr_bottom;
/* move 115.1 117 */
  (*(REF(115)DOT(1).tsdr)->finalize)(REF(115)DOT(1).value,F_DISCARD,sched);
  REF(115)DOT(1) = REF(117);
  REF(117).tsdr = & dr_bottom;
/* insert 4.18 115 */
  if ((ch_returncode = insertfunc(DEF(4)DOT(18),DEF(115),FALSE,0)) != Normal)
     goto ch_raise_exception;
/* new_record 118 , 2 */
  if ((ch_val.record = new_record(2)) == nil) goto ch_depletion;
  (*(REF(118).tsdr)->finalize)(REF(118).value,F_DISCARD,sched);
  REF(118).value = ch_val; REF(118).tsdr = & dr_record;
/* enum_lit 118.0 , 9 */
  REF(118)DOT(0).value.enumeration = 9;
  REF(118)DOT(0).tsdr = & dr_enumeration;
/* prog_lit 119 , 66 */
  if ((ch_returncode = che_prog_lit(DEF(119),QUAL(66),sched)) != Normal) 
     goto ch_raise_exception;
/* procedure 120 119 , 43 */
  if ((ch_returncode = che_procedure(DEF(120),DEF(119),QUAL(43)
    ,sched)) != Normal) goto ch_raise_exception;
/* discard 119 */
  (*(REF(119).tsdr)->finalize)(REF(119).value,F_DISCARD,sched);
  REF(119).tsdr = & dr_bottom;
/* move 118.1 120 */
  (*(REF(118)DOT(1).tsdr)->finalize)(REF(118)DOT(1).value,F_DISCARD,sched);
  REF(118)DOT(1) = REF(120);
  REF(120).tsdr = & dr_bottom;
/* insert 4.18 118 */
  if ((ch_returncode = insertfunc(DEF(4)DOT(18),DEF(118),FALSE,0)) != Normal)
     goto ch_raise_exception;
/* new_record 121 , 2 */
  if ((ch_val.record = new_record(2)) == nil) goto ch_depletion;
  (*(REF(121).tsdr)->finalize)(REF(121).value,F_DISCARD,sched);
  REF(121).value = ch_val; REF(121).tsdr = & dr_record;
/* enum_lit 121.0 , 10 */
  REF(121)DOT(0).value.enumeration = 10;
  REF(121)DOT(0).tsdr = & dr_enumeration;
/* prog_lit 122 , 67 */
  if ((ch_returncode = che_prog_lit(DEF(122),QUAL(67),sched)) != Normal) 
     goto ch_raise_exception;
/* procedure 123 122 , 43 */
  if ((ch_returncode = che_procedure(DEF(123),DEF(122),QUAL(43)
    ,sched)) != Normal) goto ch_raise_exception;
/* discard 122 */
  (*(REF(122).tsdr)->finalize)(REF(122).value,F_DISCARD,sched);
  REF(122).tsdr = & dr_bottom;
/* move 121.1 123 */
  (*(REF(121)DOT(1).tsdr)->finalize)(REF(121)DOT(1).value,F_DISCARD,sched);
  REF(121)DOT(1) = REF(123);
  REF(123).tsdr = & dr_bottom;
/* insert 4.18 121 */
  if ((ch_returncode = insertfunc(DEF(4)DOT(18),DEF(121),FALSE,0)) != Normal)
     goto ch_raise_exception;
/* new_record 124 , 2 */
  if ((ch_val.record = new_record(2)) == nil) goto ch_depletion;
  (*(REF(124).tsdr)->finalize)(REF(124).value,F_DISCARD,sched);
  REF(124).value = ch_val; REF(124).tsdr = & dr_record;
/* enum_lit 124.0 , 11 */
  REF(124)DOT(0).value.enumeration = 11;
  REF(124)DOT(0).tsdr = & dr_enumeration;
/* prog_lit 125 , 68 */
  if ((ch_returncode = che_prog_lit(DEF(125),QUAL(68),sched)) != Normal) 
     goto ch_raise_exception;
/* procedure 126 125 , 43 */
  if ((ch_returncode = che_procedure(DEF(126),DEF(125),QUAL(43)
    ,sched)) != Normal) goto ch_raise_exception;
/* discard 125 */
  (*(REF(125).tsdr)->finalize)(REF(125).value,F_DISCARD,sched);
  REF(125).tsdr = & dr_bottom;
/* move 124.1 126 */
  (*(REF(124)DOT(1).tsdr)->finalize)(REF(124)DOT(1).value,F_DISCARD,sched);
  REF(124)DOT(1) = REF(126);
  REF(126).tsdr = & dr_bottom;
/* insert 4.18 124 */
  if ((ch_returncode = insertfunc(DEF(4)DOT(18),DEF(124),FALSE,0)) != Normal)
     goto ch_raise_exception;
/* new_record 127 , 2 */
  if ((ch_val.record = new_record(2)) == nil) goto ch_depletion;
  (*(REF(127).tsdr)->finalize)(REF(127).value,F_DISCARD,sched);
  REF(127).value = ch_val; REF(127).tsdr = & dr_record;
/* enum_lit 127.0 , 12 */
  REF(127)DOT(0).value.enumeration = 12;
  REF(127)DOT(0).tsdr = & dr_enumeration;
/* prog_lit 128 , 69 */
  if ((ch_returncode = che_prog_lit(DEF(128),QUAL(69),sched)) != Normal) 
     goto ch_raise_exception;
/* procedure 129 128 , 43 */
  if ((ch_returncode = che_procedure(DEF(129),DEF(128),QUAL(43)
    ,sched)) != Normal) goto ch_raise_exception;
/* discard 128 */
  (*(REF(128).tsdr)->finalize)(REF(128).value,F_DISCARD,sched);
  REF(128).tsdr = & dr_bottom;
/* move 127.1 129 */
  (*(REF(127)DOT(1).tsdr)->finalize)(REF(127)DOT(1).value,F_DISCARD,sched);
  REF(127)DOT(1) = REF(129);
  REF(129).tsdr = & dr_bottom;
/* insert 4.18 127 */
  if ((ch_returncode = insertfunc(DEF(4)DOT(18),DEF(127),FALSE,0)) != Normal)
     goto ch_raise_exception;
/* new_record 130 , 2 */
  if ((ch_val.record = new_record(2)) == nil) goto ch_depletion;
  (*(REF(130).tsdr)->finalize)(REF(130).value,F_DISCARD,sched);
  REF(130).value = ch_val; REF(130).tsdr = & dr_record;
/* enum_lit 130.0 , 13 */
  REF(130)DOT(0).value.enumeration = 13;
  REF(130)DOT(0).tsdr = & dr_enumeration;
/* prog_lit 131 , 70 */
  if ((ch_returncode = che_prog_lit(DEF(131),QUAL(70),sched)) != Normal) 
     goto ch_raise_exception;
/* procedure 132 131 , 43 */
  if ((ch_returncode = che_procedure(DEF(132),DEF(131),QUAL(43)
    ,sched)) != Normal) goto ch_raise_exception;
/* discard 131 */
  (*(REF(131).tsdr)->finalize)(REF(131).value,F_DISCARD,sched);
  REF(131).tsdr = & dr_bottom;
/* move 130.1 132 */
  (*(REF(130)DOT(1).tsdr)->finalize)(REF(130)DOT(1).value,F_DISCARD,sched);
  REF(130)DOT(1) = REF(132);
  REF(132).tsdr = & dr_bottom;
/* insert 4.18 130 */
  if ((ch_returncode = insertfunc(DEF(4)DOT(18),DEF(130),FALSE,0)) != Normal)
     goto ch_raise_exception;
/* new_record 133 , 2 */
  if ((ch_val.record = new_record(2)) == nil) goto ch_depletion;
  (*(REF(133).tsdr)->finalize)(REF(133).value,F_DISCARD,sched);
  REF(133).value = ch_val; REF(133).tsdr = & dr_record;
/* enum_lit 133.0 , 14 */
  REF(133)DOT(0).value.enumeration = 14;
  REF(133)DOT(0).tsdr = & dr_enumeration;
/* prog_lit 134 , 71 */
  if ((ch_returncode = che_prog_lit(DEF(134),QUAL(71),sched)) != Normal) 
     goto ch_raise_exception;
/* procedure 135 134 , 43 */
  if ((ch_returncode = che_procedure(DEF(135),DEF(134),QUAL(43)
    ,sched)) != Normal) goto ch_raise_exception;
/* discard 134 */
  (*(REF(134).tsdr)->finalize)(REF(134).value,F_DISCARD,sched);
  REF(134).tsdr = & dr_bottom;
/* move 133.1 135 */
  (*(REF(133)DOT(1).tsdr)->finalize)(REF(133)DOT(1).value,F_DISCARD,sched);
  REF(133)DOT(1) = REF(135);
  REF(135).tsdr = & dr_bottom;
/* insert 4.18 133 */
  if ((ch_returncode = insertfunc(DEF(4)DOT(18),DEF(133),FALSE,0)) != Normal)
     goto ch_raise_exception;
/* block , 72 */
  if((ch_returncode = che_block(QUAL(72),sched)) != Normal)
     goto ch_raise_exception;
/* new_table 3.7 , 39 */
  if ((ch_returncode = che_new_table(DEF(3)DOT(7),QUAL(39),sched)) != Normal) 
     goto ch_raise_exception;
/* new_record 136 , 14 */
  if ((ch_val.record = new_record(14)) == nil) goto ch_depletion;
  (*(REF(136).tsdr)->finalize)(REF(136).value,F_DISCARD,sched);
  REF(136).value = ch_val; REF(136).tsdr = & dr_record;
/* copy 136.12 3.4 */
  if((ch_returncode = (REF(3)DOT(4).tsdr->copy)(& ch_val, REF(3)DOT(4).value
    )) != Normal) goto ch_raise_exception;
  (*(REF(136)DOT(12).tsdr)->finalize)(REF(136)DOT(12).value,F_DISCARD,sched);
  REF(136)DOT(12).value = ch_val;
  REF(136)DOT(12).tsdr = datarepmap[REF(3)DOT(4).tsdr->number];
/* copy 136.6 3.6 */
  if((ch_returncode = (REF(3)DOT(6).tsdr->copy)(& ch_val, REF(3)DOT(6).value
    )) != Normal) goto ch_raise_exception;
  (*(REF(136)DOT(6).tsdr)->finalize)(REF(136)DOT(6).value,F_DISCARD,sched);
  REF(136)DOT(6).value = ch_val;
  REF(136)DOT(6).tsdr = datarepmap[REF(3)DOT(6).tsdr->number];
/* copy 137 3.2 */
  if((ch_returncode = (REF(3)DOT(2).tsdr->copy)(& ch_val, REF(3)DOT(2).value
    )) != Normal) goto ch_raise_exception;
  (*(REF(137).tsdr)->finalize)(REF(137).value,F_DISCARD,sched);
  REF(137).value = ch_val;
  REF(137).tsdr = datarepmap[REF(3)DOT(2).tsdr->number];
/* new_table 136.0 , 73 */
  if ((ch_returncode = che_new_table(DEF(136)DOT(0),QUAL(73)
    ,sched)) != Normal)  goto ch_raise_exception;
/* new_table 136.1 , 73 */
  if ((ch_returncode = che_new_table(DEF(136)DOT(1),QUAL(73)
    ,sched)) != Normal)  goto ch_raise_exception;
/* new_table 136.2 , 73 */
  if ((ch_returncode = che_new_table(DEF(136)DOT(2),QUAL(73)
    ,sched)) != Normal)  goto ch_raise_exception;
/* new_table 136.3 , 73 */
  if ((ch_returncode = che_new_table(DEF(136)DOT(3),QUAL(73)
    ,sched)) != Normal)  goto ch_raise_exception;
/* new_table 136.4 , 73 */
  if ((ch_returncode = che_new_table(DEF(136)DOT(4),QUAL(73)
    ,sched)) != Normal)  goto ch_raise_exception;
/* new_table 136.5 , 73 */
  if ((ch_returncode = che_new_table(DEF(136)DOT(5),QUAL(73)
    ,sched)) != Normal)  goto ch_raise_exception;
/* new_table 136.7 , 39 */
  if ((ch_returncode = che_new_table(DEF(136)DOT(7),QUAL(39)
    ,sched)) != Normal)  goto ch_raise_exception;
/* new_table 136.8 , 39 */
  if ((ch_returncode = che_new_table(DEF(136)DOT(8),QUAL(39)
    ,sched)) != Normal)  goto ch_raise_exception;
/* new_table 136.9 , 39 */
  if ((ch_returncode = che_new_table(DEF(136)DOT(9),QUAL(39)
    ,sched)) != Normal)  goto ch_raise_exception;
/* new_table 136.10 , 74 */
  if ((ch_returncode = che_new_table(DEF(136)DOT(10),QUAL(74)
    ,sched)) != Normal)  goto ch_raise_exception;
/* new_table 136.11 , 73 */
  if ((ch_returncode = che_new_table(DEF(136)DOT(11),QUAL(73)
    ,sched)) != Normal)  goto ch_raise_exception;
/* block , 75 */
  if((ch_returncode = che_block(QUAL(75),sched)) != Normal)
     goto ch_raise_exception;
/* initget 138 3.5 , 0,0 */
  (*(REF(138).tsdr)->finalize)(REF(138).value,F_DISCARD,sched);
  if ((ch_returncode = init_selector(DEF(138),DEF(3)DOT(5),nil,sched,GET,0,0
    )) != Normal) goto ch_raise_exception;
c348:
/* get_or_err 138 3.5 */
  if ((ch_returncode = get_selected_object(DEF(138),DEF(3)DOT(5)
    ,sched)) != Normal) goto ch_raise_exception;
/* block , 76 */
  if((ch_returncode = che_block(QUAL(76),sched)) != Normal)
     goto ch_raise_exception;
/* reveal 138.0 , 0 */
  if (0 != REF(138)DOT(0).value.variant->info.variant_case)
     goto ch_case_error;
/* equal 139 138.0.0 137.0 */
  REF(139).value.boolean = ((REF(138)DOT(0)DOT(0).tsdr->equal)(
    REF(138)DOT(0)DOT(0).value,REF(137)DOT(0).value));
  REF(139).tsdr = & dr_boolean;
/* endblock */
  che_endblock(sched);
/* branch , 358 */
   goto c358;
c355:
/* boolean 139 , FALSE */
  REF(139).value.boolean = FALSE;
  REF(139).tsdr = & dr_boolean;
c358:
/* branch_false 139 , 348 */
  if ( !REF(139).value.boolean ) goto c348;
/* copy 140 138 */
  if((ch_returncode = cp_record(& ch_val, REF(138).value)) != Normal)
     goto ch_raise_exception;
  (*(REF(140).tsdr)->finalize)(REF(140).value,F_DISCARD,sched);
  REF(140).value = ch_val;
  REF(140).tsdr = & dr_record;
/* endget 138 3.5 */
  end_selector(DEF(138),DEF(3)DOT(5),sched,GET);
/* move 136.13 140 */
  (*(REF(136)DOT(13).tsdr)->finalize)(REF(136)DOT(13).value,F_DISCARD,sched);
  REF(136)DOT(13) = REF(140);
  REF(140).tsdr = & dr_bottom;
/* endblock */
  che_endblock(sched);
/* branch , 373 */
   goto c373;
c364:
/* new_record 136.13 , 4 */
  if ((ch_val.record = new_record(4)) == nil) goto ch_depletion;
  (*(REF(136)DOT(13).tsdr)->finalize)(REF(136)DOT(13).value,F_DISCARD,sched);
  REF(136)DOT(13).value = ch_val; REF(136)DOT(13).tsdr = & dr_record;
/* unique 141 */
  if ((ch_returncode = che_unique(DEF(141),sched)) != Normal)
     goto ch_raise_exception;
/* unite 136.13.0 141 , 0 */
  if ((ch_returncode = che_unite(DEF(136)DOT(13)DOT(0),DEF(141),sched,0
    )) != Normal) goto ch_raise_exception;
/* chs_lit 136.13.1 , "bogus" */
  if( !chs_lit(DEF(136)DOT(13)DOT(1),"bogus") ) goto ch_depletion;
/* new_table 136.13.2 , 77 */
  if ((ch_returncode = che_new_table(DEF(136)DOT(13)DOT(2),QUAL(77)
    ,sched)) != Normal)  goto ch_raise_exception;
/* new_table 136.13.3 , 78 */
  if ((ch_returncode = che_new_table(DEF(136)DOT(13)DOT(3),QUAL(78)
    ,sched)) != Normal)  goto ch_raise_exception;
c373:
/* new_table 142 , 79 */
  if ((ch_returncode = che_new_table(DEF(142),QUAL(79),sched)) != Normal) 
     goto ch_raise_exception;
/* new_record 143 , 2 */
  if ((ch_val.record = new_record(2)) == nil) goto ch_depletion;
  (*(REF(143).tsdr)->finalize)(REF(143).value,F_DISCARD,sched);
  REF(143).value = ch_val; REF(143).tsdr = & dr_record;
/* unite 143.0 144 , 0 */
  if ((ch_returncode = che_unite(DEF(143)DOT(0),DEF(144),sched,0)) != Normal)
     goto ch_raise_exception;
/* new_table 143.1 , 73 */
  if ((ch_returncode = che_new_table(DEF(143)DOT(1),QUAL(73)
    ,sched)) != Normal)  goto ch_raise_exception;
/* new_record 145 , 2 */
  if ((ch_val.record = new_record(2)) == nil) goto ch_depletion;
  (*(REF(145).tsdr)->finalize)(REF(145).value,F_DISCARD,sched);
  REF(145).value = ch_val; REF(145).tsdr = & dr_record;
/* new_record 145.0 , 2 */
  if ((ch_val.record = new_record(2)) == nil) goto ch_depletion;
  (*(REF(145)DOT(0).tsdr)->finalize)(REF(145)DOT(0).value,F_DISCARD,sched);
  REF(145)DOT(0).value = ch_val; REF(145)DOT(0).tsdr = & dr_record;
/* copy 145.0.1 137.2 */
  if((ch_returncode = (REF(137)DOT(2).tsdr->copy)(& ch_val, 
    REF(137)DOT(2).value)) != Normal) goto ch_raise_exception;
  (*(REF(145)DOT(0)DOT(1).tsdr)->finalize)(REF(145)DOT(0)DOT(1).value
    ,F_DISCARD,sched);
  REF(145)DOT(0)DOT(1).value = ch_val;
  REF(145)DOT(0)DOT(1).tsdr = datarepmap[REF(137)DOT(2).tsdr->number];
/* copy 145.0.0 137.1.2 */
  if((ch_returncode = (REF(137)DOT(1)DOT(2).tsdr->copy)(& ch_val, 
    REF(137)DOT(1)DOT(2).value)) != Normal) goto ch_raise_exception;
  (*(REF(145)DOT(0)DOT(0).tsdr)->finalize)(REF(145)DOT(0)DOT(0).value
    ,F_DISCARD,sched);
  REF(145)DOT(0)DOT(0).value = ch_val;
  REF(145)DOT(0)DOT(0).tsdr = datarepmap[REF(137)DOT(1)DOT(2).tsdr->number];
/* new_table 145.1 , 73 */
  if ((ch_returncode = che_new_table(DEF(145)DOT(1),QUAL(73)
    ,sched)) != Normal)  goto ch_raise_exception;
/* insert 143.1 145 */
  if ((ch_returncode = insertfunc(DEF(143)DOT(1),DEF(145),FALSE,0)) != Normal)
     goto ch_raise_exception;
/* insert 142 143 */
  if ((ch_returncode = insertfunc(DEF(142),DEF(143),FALSE,0)) != Normal)
     goto ch_raise_exception;
/* find 146 137.1.0 137.1.2 , 0 */
  if (findfunc(DEF(146),DEF(137)DOT(1)DOT(0),(
          arguments[0] = DEF(137)DOT(1)DOT(2),& arguments[0]),sched,0
            ) == FAILURE) goto ch_notfound;
/* copy 147 146.0 */
  if((ch_returncode = (REF(146)DOT(0).tsdr->copy)(& ch_val, 
    REF(146)DOT(0).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)DOT(0).tsdr->number];
/* insert 136.0 147 */
  if ((ch_returncode = insertfunc(DEF(136)DOT(0),DEF(147),FALSE,0)) != Normal)
     goto ch_raise_exception;
  current->ip = 12;
cb388:
/* call 4.0 4 137.1 3.1.0 146.2 142 148 136 , 80 */
  if ((ch_returncode = che_call((
          arguments[0] = DEF(4)DOT(0),
          arguments[1] = DEF(4),
          arguments[2] = DEF(137)DOT(1),
          arguments[3] = DEF(3)DOT(1)DOT(0),
          arguments[4] = DEF(146)DOT(2),
          arguments[5] = DEF(142),
          arguments[6] = DEF(148),
          arguments[7] = DEF(136),
          arguments[7+1] = nil,& arguments[0]),QUAL(80),sched)) != Normal)
     goto ch_raise_exception;
  return;
c389:
/* size 149 136.11 */
  REF(149).value.integer = REF(136)DOT(11).value.table->size;
  REF(149).tsdr = & dr_integer;
/* ile . 149 =(0) , 394 */
  if ( REF(149).value.integer <= 0 ) goto c394;
/* branch , 418 */
   goto c418;
c394:
/* new_record 150 , 4 */
  if ((ch_val.record = new_record(4)) == nil) goto ch_depletion;
  (*(REF(150).tsdr)->finalize)(REF(150).value,F_DISCARD,sched);
  REF(150).value = ch_val; REF(150).tsdr = & dr_record;
/* copy 150.0 137.0 */
  if((ch_returncode = (REF(137)DOT(0).tsdr->copy)(& ch_val, 
    REF(137)DOT(0).value)) != Normal) goto ch_raise_exception;
  (*(REF(150)DOT(0).tsdr)->finalize)(REF(150)DOT(0).value,F_DISCARD,sched);
  REF(150)DOT(0).value = ch_val;
  REF(150)DOT(0).tsdr = datarepmap[REF(137)DOT(0).tsdr->number];
/* copy 150.1 136.7 */
  if((ch_returncode = cp_table(& ch_val, REF(136)DOT(7).value)) != Normal)
     goto ch_raise_exception;
  (*(REF(150)DOT(1).tsdr)->finalize)(REF(150)DOT(1).value,F_DISCARD,sched);
  REF(150)DOT(1).value = ch_val;
  REF(150)DOT(1).tsdr = & dr_table;
/* copy 150.2 136.8 */
  if((ch_returncode = cp_table(& ch_val, REF(136)DOT(8).value)) != Normal)
     goto ch_raise_exception;
  (*(REF(150)DOT(2).tsdr)->finalize)(REF(150)DOT(2).value,F_DISCARD,sched);
  REF(150)DOT(2).value = ch_val;
  REF(150)DOT(2).tsdr = & dr_table;
/* new_table 150.3 , 39 */
  if ((ch_returncode = che_new_table(DEF(150)DOT(3),QUAL(39)
    ,sched)) != Normal)  goto ch_raise_exception;
/* copy 151 136.9 */
  if((ch_returncode = cp_table(& ch_val, REF(136)DOT(9).value)) != Normal)
     goto ch_raise_exception;
  (*(REF(151).tsdr)->finalize)(REF(151).value,F_DISCARD,sched);
  REF(151).value = ch_val;
  REF(151).tsdr = & dr_table;
/* initget 152 151 , 0,0 */
  (*(REF(152).tsdr)->finalize)(REF(152).value,F_DISCARD,sched);
  if ((ch_returncode = init_selector(DEF(152),DEF(151),nil,sched,GET,0,0
    )) != Normal) goto ch_raise_exception;
c401:
/* get_or_goto 152 151 , 415 */
  if ((ch_returncode = get_selected_object(DEF(152),DEF(151)
    ,sched)) != Normal) goto c415;
/* block , 81 */
  if((ch_returncode = che_block(QUAL(81),sched)) != Normal)
     goto ch_raise_exception;
/* reveal 152.1 , 0 */
  if (0 != REF(152)DOT(1).value.variant->info.variant_case)
     goto ch_case_error;
/* new_record 153 , 2 */
  if ((ch_val.record = new_record(2)) == nil) goto ch_depletion;
  (*(REF(153).tsdr)->finalize)(REF(153).value,F_DISCARD,sched);
  REF(153).value = ch_val; REF(153).tsdr = & dr_record;
/* copy 153.0 152.0 */
  if((ch_returncode = (REF(152)DOT(0).tsdr->copy)(& ch_val, 
    REF(152)DOT(0).value)) != Normal) goto ch_raise_exception;
  (*(REF(153)DOT(0).tsdr)->finalize)(REF(153)DOT(0).value,F_DISCARD,sched);
  REF(153)DOT(0).value = ch_val;
  REF(153)DOT(0).tsdr = datarepmap[REF(152)DOT(0).tsdr->number];
/* copy 154 152.1.0.1 */
  if((ch_returncode = (REF(152)DOT(1)DOT(0)DOT(1).tsdr->copy)(& ch_val, 
    REF(152)DOT(1)DOT(0)DOT(1).value)) != Normal) goto ch_raise_exception;
  (*(REF(154).tsdr)->finalize)(REF(154).value,F_DISCARD,sched);
  REF(154).value = ch_val;
  REF(154).tsdr = datarepmap[REF(152)DOT(1)DOT(0)DOT(1).tsdr->number];
  current->ip = 15;
cb407:
/* call 4.9 4 137.1.0 136 3.1.0 154 155 , 82 */
  if ((ch_returncode = che_call((
          arguments[0] = DEF(4)DOT(9),
          arguments[1] = DEF(4),
          arguments[2] = DEF(137)DOT(1)DOT(0),
          arguments[3] = DEF(136),
          arguments[4] = DEF(3)DOT(1)DOT(0),
          arguments[5] = DEF(154),
          arguments[6] = DEF(155),
          arguments[6+1] = nil,& arguments[0]),QUAL(82),sched)) != Normal)
     goto ch_raise_exception;
  return;
c408:
/* move 153.1 155 */
  (*(REF(153)DOT(1).tsdr)->finalize)(REF(153)DOT(1).value,F_DISCARD,sched);
  REF(153)DOT(1) = REF(155);
  REF(155).tsdr = & dr_bottom;
/* insert 150.3 153 */
  if ((ch_returncode = insertfunc(DEF(150)DOT(3),DEF(153),FALSE,0)) != Normal)
     goto ch_raise_exception;
/* endblock */
  che_endblock(sched);
c412:
/* discard 154 */
  (*(REF(154).tsdr)->finalize)(REF(154).value,F_DISCARD,sched);
  REF(154).tsdr = & dr_bottom;
/* branch , 401 */
   goto c401;
c415:
/* endget 152 151 */
  end_selector(DEF(152),DEF(151),sched,GET);
/* discard 151 */
  (*(REF(151).tsdr)->finalize)(REF(151).value,F_DISCARD,sched);
  REF(151).tsdr = & dr_bottom;
/* insert 3.7 150 */
  if ((ch_returncode = insertfunc(DEF(3)DOT(7),DEF(150),FALSE,0)) != Normal)
     goto ch_raise_exception;
c418:
/* move 3.8 136.11 */
  (*(REF(3)DOT(8).tsdr)->finalize)(REF(3)DOT(8).value,F_DISCARD,sched);
  REF(3)DOT(8) = REF(136)DOT(11);
  REF(136)DOT(11).tsdr = & dr_bottom;
/* size 156 3.8 */
  REF(156).value.integer = REF(3)DOT(8).value.table->size;
  REF(156).tsdr = & dr_integer;
/* notequal . 156 =(0) , 425 */
  if ( REF(156).value.integer != 0 ) goto c425;
/* 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 , 427 */
   goto c427;
c425:
/* discard 3.7 */
  (*(REF(3)DOT(7).tsdr)->finalize)(REF(3)DOT(7).value,F_DISCARD,sched);
  REF(3)DOT(7).tsdr = & dr_bottom;
/* return_exception 3 , 83 */
  if (ch_caller = do_return(REF(3).value)) {
    raise_user(QUAL(83),ch_caller); 
    sched->wakeup_proc(sched,ch_caller);}
  else rem_return_exception(DEF(3),QUAL(83));
  REF(3).tsdr = & dr_bottom;
c427:
/* endblock */
  che_endblock(sched);
/* branch , 458 */
   goto c458;
c429:
/* discard 148 */
  (*(REF(148).tsdr)->finalize)(REF(148).value,F_DISCARD,sched);
  REF(148).tsdr = & dr_bottom;
/* discard 143 */
  (*(REF(143).tsdr)->finalize)(REF(143).value,F_DISCARD,sched);
  REF(143).tsdr = & dr_bottom;
/* discard 150 */
  (*(REF(150).tsdr)->finalize)(REF(150).value,F_DISCARD,sched);
  REF(150).tsdr = & dr_bottom;
/* discard 153 */
  (*(REF(153).tsdr)->finalize)(REF(153).value,F_DISCARD,sched);
  REF(153).tsdr = & dr_bottom;
/* discard 154 */
  (*(REF(154).tsdr)->finalize)(REF(154).value,F_DISCARD,sched);
  REF(154).tsdr = & dr_bottom;
/* chs_lit 157 , "dup key in main block typestate.p" */
  if( !chs_lit(DEF(157),"dup key in main block typestate.p") )
     goto ch_depletion;
/* print 157 */
  re_print(stderr, 0, DEF(157)); fflush(stderr);
/* discard 157 */
  (*(REF(157).tsdr)->finalize)(REF(157).value,F_DISCARD,sched);
  REF(157).tsdr = & dr_bottom;
/* branch , 458 */
   goto c458;
c438:
/* discard 136 */
  (*(REF(136).tsdr)->finalize)(REF(136).value,F_DISCARD,sched);
  REF(136).tsdr = & dr_bottom;
/* discard 142 */
  (*(REF(142).tsdr)->finalize)(REF(142).value,F_DISCARD,sched);
  REF(142).tsdr = & dr_bottom;
/* discard 148 */
  (*(REF(148).tsdr)->finalize)(REF(148).value,F_DISCARD,sched);
  REF(148).tsdr = & dr_bottom;
/* discard 137 */
  (*(REF(137).tsdr)->finalize)(REF(137).value,F_DISCARD,sched);
  REF(137).tsdr = & dr_bottom;
/* discard 143 */
  (*(REF(143).tsdr)->finalize)(REF(143).value,F_DISCARD,sched);
  REF(143).tsdr = & dr_bottom;
/* discard 150 */
  (*(REF(150).tsdr)->finalize)(REF(150).value,F_DISCARD,sched);
  REF(150).tsdr = & dr_bottom;
/* discard 140 */
  (*(REF(140).tsdr)->finalize)(REF(140).value,F_DISCARD,sched);
  REF(140).tsdr = & dr_bottom;
/* discard 141 */
  (*(REF(141).tsdr)->finalize)(REF(141).value,F_DISCARD,sched);
  REF(141).tsdr = & dr_bottom;
/* discard 145 */
  (*(REF(145).tsdr)->finalize)(REF(145).value,F_DISCARD,sched);
  REF(145).tsdr = & dr_bottom;
/* discard 147 */
  (*(REF(147).tsdr)->finalize)(REF(147).value,F_DISCARD,sched);
  REF(147).tsdr = & dr_bottom;
/* discard 153 */
  (*(REF(153).tsdr)->finalize)(REF(153).value,F_DISCARD,sched);
  REF(153).tsdr = & dr_bottom;
/* discard 154 */
  (*(REF(154).tsdr)->finalize)(REF(154).value,F_DISCARD,sched);
  REF(154).tsdr = & dr_bottom;
/* discard 155 */
  (*(REF(155).tsdr)->finalize)(REF(155).value,F_DISCARD,sched);
  REF(155).tsdr = & dr_bottom;
/* discard 3.7 */
  (*(REF(3)DOT(7).tsdr)->finalize)(REF(3)DOT(7).value,F_DISCARD,sched);
  REF(3)DOT(7).tsdr = & dr_bottom;
/* discard 3.8 */
  (*(REF(3)DOT(8).tsdr)->finalize)(REF(3)DOT(8).value,F_DISCARD,sched);
  REF(3)DOT(8).tsdr = & dr_bottom;
/* chs_lit 158 , "others exception in main block of typestate.p" */
  if( !chs_lit(DEF(158),"others exception in main block of typestate.p") )
     goto ch_depletion;
/* print 158 */
  re_print(stderr, 0, DEF(158)); fflush(stderr);
/* discard 158 */
  (*(REF(158).tsdr)->finalize)(REF(158).value,F_DISCARD,sched);
  REF(158).tsdr = & dr_bottom;
c458:
/* discard 3 */
  (*(REF(3).tsdr)->finalize)(REF(3).value,F_DISCARD,sched);
  REF(3).tsdr = & dr_bottom;
/* discard 136 */
  (*(REF(136).tsdr)->finalize)(REF(136).value,F_DISCARD,sched);
  REF(136).tsdr = & dr_bottom;
/* discard 142 */
  (*(REF(142).tsdr)->finalize)(REF(142).value,F_DISCARD,sched);
  REF(142).tsdr = & dr_bottom;
/* discard 148 */
  (*(REF(148).tsdr)->finalize)(REF(148).value,F_DISCARD,sched);
  REF(148).tsdr = & dr_bottom;
/* discard 137 */
  (*(REF(137).tsdr)->finalize)(REF(137).value,F_DISCARD,sched);
  REF(137).tsdr = & dr_bottom;
/* endblock */
  che_endblock(sched);
/* branch , 707 */
   goto c707;
c465:
/* discard 45 */
  (*(REF(45).tsdr)->finalize)(REF(45).value,F_DISCARD,sched);
  REF(45).tsdr = & dr_bottom;
/* discard 48 */
  (*(REF(48).tsdr)->finalize)(REF(48).value,F_DISCARD,sched);
  REF(48).tsdr = & dr_bottom;
/* discard 6 */
  (*(REF(6).tsdr)->finalize)(REF(6).value,F_DISCARD,sched);
  REF(6).tsdr = & dr_bottom;
/* discard 7 */
  (*(REF(7).tsdr)->finalize)(REF(7).value,F_DISCARD,sched);
  REF(7).tsdr = & dr_bottom;
/* discard 9 */
  (*(REF(9).tsdr)->finalize)(REF(9).value,F_DISCARD,sched);
  REF(9).tsdr = & dr_bottom;
/* discard 11 */
  (*(REF(11).tsdr)->finalize)(REF(11).value,F_DISCARD,sched);
  REF(11).tsdr = & dr_bottom;
/* discard 13 */
  (*(REF(13).tsdr)->finalize)(REF(13).value,F_DISCARD,sched);
  REF(13).tsdr = & dr_bottom;
/* discard 15 */
  (*(REF(15).tsdr)->finalize)(REF(15).value,F_DISCARD,sched);
  REF(15).tsdr = & dr_bottom;
/* discard 17 */
  (*(REF(17).tsdr)->finalize)(REF(17).value,F_DISCARD,sched);
  REF(17).tsdr = & dr_bottom;
/* discard 19 */
  (*(REF(19).tsdr)->finalize)(REF(19).value,F_DISCARD,sched);
  REF(19).tsdr = & dr_bottom;
/* discard 21 */
  (*(REF(21).tsdr)->finalize)(REF(21).value,F_DISCARD,sched);
  REF(21).tsdr = & dr_bottom;
/* discard 23 */
  (*(REF(23).tsdr)->finalize)(REF(23).value,F_DISCARD,sched);
  REF(23).tsdr = & dr_bottom;
/* discard 25 */
  (*(REF(25).tsdr)->finalize)(REF(25).value,F_DISCARD,sched);
  REF(25).tsdr = & dr_bottom;
/* discard 27 */
  (*(REF(27).tsdr)->finalize)(REF(27).value,F_DISCARD,sched);
  REF(27).tsdr = & dr_bottom;
/* discard 29 */
  (*(REF(29).tsdr)->finalize)(REF(29).value,F_DISCARD,sched);
  REF(29).tsdr = & dr_bottom;
/* discard 31 */
  (*(REF(31).tsdr)->finalize)(REF(31).value,F_DISCARD,sched);
  REF(31).tsdr = & dr_bottom;
/* discard 33 */
  (*(REF(33).tsdr)->finalize)(REF(33).value,F_DISCARD,sched);
  REF(33).tsdr = & dr_bottom;
/* discard 35 */
  (*(REF(35).tsdr)->finalize)(REF(35).value,F_DISCARD,sched);
  REF(35).tsdr = & dr_bottom;
/* discard 37 */
  (*(REF(37).tsdr)->finalize)(REF(37).value,F_DISCARD,sched);
  REF(37).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 43 */
  (*(REF(43).tsdr)->finalize)(REF(43).value,F_DISCARD,sched);
  REF(43).tsdr = & dr_bottom;
/* discard 46 */
  (*(REF(46).tsdr)->finalize)(REF(46).value,F_DISCARD,sched);
  REF(46).tsdr = & dr_bottom;
/* discard 49 */
  (*(REF(49).tsdr)->finalize)(REF(49).value,F_DISCARD,sched);
  REF(49).tsdr = & dr_bottom;
/* discard 52 */
  (*(REF(52).tsdr)->finalize)(REF(52).value,F_DISCARD,sched);
  REF(52).tsdr = & dr_bottom;
/* discard 55 */
  (*(REF(55).tsdr)->finalize)(REF(55).value,F_DISCARD,sched);
  REF(55).tsdr = & dr_bottom;
/* discard 58 */
  (*(REF(58).tsdr)->finalize)(REF(58).value,F_DISCARD,sched);
  REF(58).tsdr = & dr_bottom;
/* discard 63 */
  (*(REF(63).tsdr)->finalize)(REF(63).value,F_DISCARD,sched);
  REF(63).tsdr = & dr_bottom;
/* discard 66 */
  (*(REF(66).tsdr)->finalize)(REF(66).value,F_DISCARD,sched);
  REF(66).tsdr = & dr_bottom;
/* discard 69 */
  (*(REF(69).tsdr)->finalize)(REF(69).value,F_DISCARD,sched);
  REF(69).tsdr = & dr_bottom;
/* discard 72 */
  (*(REF(72).tsdr)->finalize)(REF(72).value,F_DISCARD,sched);
  REF(72).tsdr = & dr_bottom;
/* discard 75 */
  (*(REF(75).tsdr)->finalize)(REF(75).value,F_DISCARD,sched);
  REF(75).tsdr = & dr_bottom;
/* discard 78 */
  (*(REF(78).tsdr)->finalize)(REF(78).value,F_DISCARD,sched);
  REF(78).tsdr = & dr_bottom;
/* discard 81 */
  (*(REF(81).tsdr)->finalize)(REF(81).value,F_DISCARD,sched);
  REF(81).tsdr = & dr_bottom;
/* discard 84 */
  (*(REF(84).tsdr)->finalize)(REF(84).value,F_DISCARD,sched);
  REF(84).tsdr = & dr_bottom;
/* discard 87 */
  (*(REF(87).tsdr)->finalize)(REF(87).value,F_DISCARD,sched);
  REF(87).tsdr = & dr_bottom;
/* discard 90 */
  (*(REF(90).tsdr)->finalize)(REF(90).value,F_DISCARD,sched);
  REF(90).tsdr = & dr_bottom;
/* discard 93 */
  (*(REF(93).tsdr)->finalize)(REF(93).value,F_DISCARD,sched);
  REF(93).tsdr = & dr_bottom;
/* discard 97 */
  (*(REF(97).tsdr)->finalize)(REF(97).value,F_DISCARD,sched);
  REF(97).tsdr = & dr_bottom;
/* discard 100 */
  (*(REF(100).tsdr)->finalize)(REF(100).value,F_DISCARD,sched);
  REF(100).tsdr = & dr_bottom;
/* discard 103 */
  (*(REF(103).tsdr)->finalize)(REF(103).value,F_DISCARD,sched);
  REF(103).tsdr = & dr_bottom;
/* discard 106 */
  (*(REF(106).tsdr)->finalize)(REF(106).value,F_DISCARD,sched);
  REF(106).tsdr = & dr_bottom;
/* discard 109 */
  (*(REF(109).tsdr)->finalize)(REF(109).value,F_DISCARD,sched);
  REF(109).tsdr = & dr_bottom;
/* discard 112 */
  (*(REF(112).tsdr)->finalize)(REF(112).value,F_DISCARD,sched);
  REF(112).tsdr = & dr_bottom;
/* discard 115 */
  (*(REF(115).tsdr)->finalize)(REF(115).value,F_DISCARD,sched);
  REF(115).tsdr = & dr_bottom;
/* discard 118 */
  (*(REF(118).tsdr)->finalize)(REF(118).value,F_DISCARD,sched);
  REF(118).tsdr = & dr_bottom;
/* discard 121 */
  (*(REF(121).tsdr)->finalize)(REF(121).value,F_DISCARD,sched);
  REF(121).tsdr = & dr_bottom;
/* discard 124 */
  (*(REF(124).tsdr)->finalize)(REF(124).value,F_DISCARD,sched);
  REF(124).tsdr = & dr_bottom;
/* discard 127 */
  (*(REF(127).tsdr)->finalize)(REF(127).value,F_DISCARD,sched);
  REF(127).tsdr = & dr_bottom;
/* discard 130 */
  (*(REF(130).tsdr)->finalize)(REF(130).value,F_DISCARD,sched);
  REF(130).tsdr = & dr_bottom;
/* discard 133 */
  (*(REF(133).tsdr)->finalize)(REF(133).value,F_DISCARD,sched);
  REF(133).tsdr = & dr_bottom;
/* discard 50 */
  (*(REF(50).tsdr)->finalize)(REF(50).value,F_DISCARD,sched);
  REF(50).tsdr = & dr_bottom;
/* discard 53 */
  (*(REF(53).tsdr)->finalize)(REF(53).value,F_DISCARD,sched);
  REF(53).tsdr = & dr_bottom;
/* discard 56 */
  (*(REF(56).tsdr)->finalize)(REF(56).value,F_DISCARD,sched);
  REF(56).tsdr = & dr_bottom;
/* discard 59 */
  (*(REF(59).tsdr)->finalize)(REF(59).value,F_DISCARD,sched);
  REF(59).tsdr = & dr_bottom;
/* discard 64 */
  (*(REF(64).tsdr)->finalize)(REF(64).value,F_DISCARD,sched);
  REF(64).tsdr = & dr_bottom;
/* discard 67 */
  (*(REF(67).tsdr)->finalize)(REF(67).value,F_DISCARD,sched);
  REF(67).tsdr = & dr_bottom;
/* discard 70 */
  (*(REF(70).tsdr)->finalize)(REF(70).value,F_DISCARD,sched);
  REF(70).tsdr = & dr_bottom;
/* discard 73 */
  (*(REF(73).tsdr)->finalize)(REF(73).value,F_DISCARD,sched);
  REF(73).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;
/* discard 82 */
  (*(REF(82).tsdr)->finalize)(REF(82).value,F_DISCARD,sched);
  REF(82).tsdr = & dr_bottom;
/* discard 85 */
  (*(REF(85).tsdr)->finalize)(REF(85).value,F_DISCARD,sched);
  REF(85).tsdr = & dr_bottom;
/* discard 88 */
  (*(REF(88).tsdr)->finalize)(REF(88).value,F_DISCARD,sched);
  REF(88).tsdr = & dr_bottom;
/* discard 91 */
  (*(REF(91).tsdr)->finalize)(REF(91).value,F_DISCARD,sched);
  REF(91).tsdr = & dr_bottom;
/* discard 94 */
  (*(REF(94).tsdr)->finalize)(REF(94).value,F_DISCARD,sched);
  REF(94).tsdr = & dr_bottom;
/* discard 98 */
  (*(REF(98).tsdr)->finalize)(REF(98).value,F_DISCARD,sched);
  REF(98).tsdr = & dr_bottom;
/* discard 101 */
  (*(REF(101).tsdr)->finalize)(REF(101).value,F_DISCARD,sched);
  REF(101).tsdr = & dr_bottom;
/* discard 104 */
  (*(REF(104).tsdr)->finalize)(REF(104).value,F_DISCARD,sched);
  REF(104).tsdr = & dr_bottom;
/* discard 107 */
  (*(REF(107).tsdr)->finalize)(REF(107).value,F_DISCARD,sched);
  REF(107).tsdr = & dr_bottom;
/* discard 110 */
  (*(REF(110).tsdr)->finalize)(REF(110).value,F_DISCARD,sched);
  REF(110).tsdr = & dr_bottom;
/* discard 113 */
  (*(REF(113).tsdr)->finalize)(REF(113).value,F_DISCARD,sched);
  REF(113).tsdr = & dr_bottom;
/* discard 116 */
  (*(REF(116).tsdr)->finalize)(REF(116).value,F_DISCARD,sched);
  REF(116).tsdr = & dr_bottom;
/* discard 119 */
  (*(REF(119).tsdr)->finalize)(REF(119).value,F_DISCARD,sched);
  REF(119).tsdr = & dr_bottom;
/* discard 122 */
  (*(REF(122).tsdr)->finalize)(REF(122).value,F_DISCARD,sched);
  REF(122).tsdr = & dr_bottom;
/* discard 125 */
  (*(REF(125).tsdr)->finalize)(REF(125).value,F_DISCARD,sched);
  REF(125).tsdr = & dr_bottom;
/* discard 128 */
  (*(REF(128).tsdr)->finalize)(REF(128).value,F_DISCARD,sched);
  REF(128).tsdr = & dr_bottom;
/* discard 131 */
  (*(REF(131).tsdr)->finalize)(REF(131).value,F_DISCARD,sched);
  REF(131).tsdr = & dr_bottom;
/* discard 134 */
  (*(REF(134).tsdr)->finalize)(REF(134).value,F_DISCARD,sched);
  REF(134).tsdr = & dr_bottom;
/* discard 4.0 */
  (*(REF(4)DOT(0).tsdr)->finalize)(REF(4)DOT(0).value,F_DISCARD,sched);
  REF(4)DOT(0).tsdr = & dr_bottom;
/* discard 4.1 */
  (*(REF(4)DOT(1).tsdr)->finalize)(REF(4)DOT(1).value,F_DISCARD,sched);
  REF(4)DOT(1).tsdr = & dr_bottom;
/* discard 4.2 */
  (*(REF(4)DOT(2).tsdr)->finalize)(REF(4)DOT(2).value,F_DISCARD,sched);
  REF(4)DOT(2).tsdr = & dr_bottom;
/* discard 4.3 */
  (*(REF(4)DOT(3).tsdr)->finalize)(REF(4)DOT(3).value,F_DISCARD,sched);
  REF(4)DOT(3).tsdr = & dr_bottom;
/* discard 4.4 */
  (*(REF(4)DOT(4).tsdr)->finalize)(REF(4)DOT(4).value,F_DISCARD,sched);
  REF(4)DOT(4).tsdr = & dr_bottom;
/* discard 4.5 */
  (*(REF(4)DOT(5).tsdr)->finalize)(REF(4)DOT(5).value,F_DISCARD,sched);
  REF(4)DOT(5).tsdr = & dr_bottom;
/* discard 4.6 */
  (*(REF(4)DOT(6).tsdr)->finalize)(REF(4)DOT(6).value,F_DISCARD,sched);
  REF(4)DOT(6).tsdr = & dr_bottom;
/* discard 4.7 */
  (*(REF(4)DOT(7).tsdr)->finalize)(REF(4)DOT(7).value,F_DISCARD,sched);
  REF(4)DOT(7).tsdr = & dr_bottom;
/* discard 4.8 */
  (*(REF(4)DOT(8).tsdr)->finalize)(REF(4)DOT(8).value,F_DISCARD,sched);
  REF(4)DOT(8).tsdr = & dr_bottom;
/* discard 4.9 */
  (*(REF(4)DOT(9).tsdr)->finalize)(REF(4)DOT(9).value,F_DISCARD,sched);
  REF(4)DOT(9).tsdr = & dr_bottom;
/* discard 4.10 */
  (*(REF(4)DOT(10).tsdr)->finalize)(REF(4)DOT(10).value,F_DISCARD,sched);
  REF(4)DOT(10).tsdr = & dr_bottom;
/* discard 4.11 */
  (*(REF(4)DOT(11).tsdr)->finalize)(REF(4)DOT(11).value,F_DISCARD,sched);
  REF(4)DOT(11).tsdr = & dr_bottom;
/* discard 4.12 */
  (*(REF(4)DOT(12).tsdr)->finalize)(REF(4)DOT(12).value,F_DISCARD,sched);
  REF(4)DOT(12).tsdr = & dr_bottom;
/* discard 4.13 */
  (*(REF(4)DOT(13).tsdr)->finalize)(REF(4)DOT(13).value,F_DISCARD,sched);
  REF(4)DOT(13).tsdr = & dr_bottom;
/* discard 4.14 */
  (*(REF(4)DOT(14).tsdr)->finalize)(REF(4)DOT(14).value,F_DISCARD,sched);
  REF(4)DOT(14).tsdr = & dr_bottom;
/* discard 4.15 */
  (*(REF(4)DOT(15).tsdr)->finalize)(REF(4)DOT(15).value,F_DISCARD,sched);
  REF(4)DOT(15).tsdr = & dr_bottom;
/* discard 4.17 */
  (*(REF(4)DOT(17).tsdr)->finalize)(REF(4)DOT(17).value,F_DISCARD,sched);
  REF(4)DOT(17).tsdr = & dr_bottom;
/* discard 4.18 */
  (*(REF(4)DOT(18).tsdr)->finalize)(REF(4)DOT(18).value,F_DISCARD,sched);
  REF(4)DOT(18).tsdr = & dr_bottom;
/* discard 4.19 */
  (*(REF(4)DOT(19).tsdr)->finalize)(REF(4)DOT(19).value,F_DISCARD,sched);
  REF(4)DOT(19).tsdr = & dr_bottom;
/* discard 4.20 */
  (*(REF(4)DOT(20).tsdr)->finalize)(REF(4)DOT(20).value,F_DISCARD,sched);
  REF(4)DOT(20).tsdr = & dr_bottom;
/* chs_lit 159 , "Interfacing problems in typestate.p." */
  if( !chs_lit(DEF(159),"Interfacing problems in typestate.p.") )
     goto ch_depletion;
  current->ip = 24;
cb565:
/* call 4.21.10.1 159 , 84 */
  if ((ch_returncode = che_call((
          arguments[0] = DEF(4)DOT(21)DOT(10)DOT(1),
          arguments[1] = DEF(159),
          arguments[1+1] = nil,& arguments[0]),QUAL(84),sched)) != Normal)
     goto ch_raise_exception;
  return;
c566:
/* discard 3 */
  (*(REF(3).tsdr)->finalize)(REF(3).value,F_DISCARD,sched);
  REF(3).tsdr = & dr_bottom;
/* branch , 707 */
   goto c707;
c568:
/* discard 3 */
  (*(REF(3).tsdr)->finalize)(REF(3).value,F_DISCARD,sched);
  REF(3).tsdr = & dr_bottom;
/* discard 45 */
  (*(REF(45).tsdr)->finalize)(REF(45).value,F_DISCARD,sched);
  REF(45).tsdr = & dr_bottom;
/* discard 48 */
  (*(REF(48).tsdr)->finalize)(REF(48).value,F_DISCARD,sched);
  REF(48).tsdr = & dr_bottom;
/* discard 4 */
  (*(REF(4).tsdr)->finalize)(REF(4).value,F_DISCARD,sched);
  REF(4).tsdr = & dr_bottom;
/* discard 136 */
  (*(REF(136).tsdr)->finalize)(REF(136).value,F_DISCARD,sched);
  REF(136).tsdr = & dr_bottom;
/* discard 142 */
  (*(REF(142).tsdr)->finalize)(REF(142).value,F_DISCARD,sched);
  REF(142).tsdr = & dr_bottom;
/* discard 5 */
  (*(REF(5).tsdr)->finalize)(REF(5).value,F_DISCARD,sched);
  REF(5).tsdr = & dr_bottom;
/* discard 6 */
  (*(REF(6).tsdr)->finalize)(REF(6).value,F_DISCARD,sched);
  REF(6).tsdr = & dr_bottom;
/* discard 7 */
  (*(REF(7).tsdr)->finalize)(REF(7).value,F_DISCARD,sched);
  REF(7).tsdr = & dr_bottom;
/* discard 8 */
  (*(REF(8).tsdr)->finalize)(REF(8).value,F_DISCARD,sched);
  REF(8).tsdr = & dr_bottom;
/* discard 9 */
  (*(REF(9).tsdr)->finalize)(REF(9).value,F_DISCARD,sched);
  REF(9).tsdr = & dr_bottom;
/* discard 10 */
  (*(REF(10).tsdr)->finalize)(REF(10).value,F_DISCARD,sched);
  REF(10).tsdr = & dr_bottom;
/* discard 11 */
  (*(REF(11).tsdr)->finalize)(REF(11).value,F_DISCARD,sched);
  REF(11).tsdr = & dr_bottom;
/* discard 12 */
  (*(REF(12).tsdr)->finalize)(REF(12).value,F_DISCARD,sched);
  REF(12).tsdr = & dr_bottom;
/* discard 13 */
  (*(REF(13).tsdr)->finalize)(REF(13).value,F_DISCARD,sched);
  REF(13).tsdr = & dr_bottom;
/* discard 14 */
  (*(REF(14).tsdr)->finalize)(REF(14).value,F_DISCARD,sched);
  REF(14).tsdr = & dr_bottom;
/* discard 15 */
  (*(REF(15).tsdr)->finalize)(REF(15).value,F_DISCARD,sched);
  REF(15).tsdr = & dr_bottom;
/* discard 16 */
  (*(REF(16).tsdr)->finalize)(REF(16).value,F_DISCARD,sched);
  REF(16).tsdr = & dr_bottom;
/* discard 17 */
  (*(REF(17).tsdr)->finalize)(REF(17).value,F_DISCARD,sched);
  REF(17).tsdr = & dr_bottom;
/* discard 18 */
  (*(REF(18).tsdr)->finalize)(REF(18).value,F_DISCARD,sched);
  REF(18).tsdr = & dr_bottom;
/* 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;
/* discard 21 */
  (*(REF(21).tsdr)->finalize)(REF(21).value,F_DISCARD,sched);
  REF(21).tsdr = & dr_bottom;
/* discard 22 */
  (*(REF(22).tsdr)->finalize)(REF(22).value,F_DISCARD,sched);
  REF(22).tsdr = & dr_bottom;
/* discard 23 */
  (*(REF(23).tsdr)->finalize)(REF(23).value,F_DISCARD,sched);
  REF(23).tsdr = & dr_bottom;
/* discard 24 */
  (*(REF(24).tsdr)->finalize)(REF(24).value,F_DISCARD,sched);
  REF(24).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 27 */
  (*(REF(27).tsdr)->finalize)(REF(27).value,F_DISCARD,sched);
  REF(27).tsdr = & dr_bottom;
/* discard 28 */
  (*(REF(28).tsdr)->finalize)(REF(28).value,F_DISCARD,sched);
  REF(28).tsdr = & dr_bottom;
/* discard 29 */
  (*(REF(29).tsdr)->finalize)(REF(29).value,F_DISCARD,sched);
  REF(29).tsdr = & dr_bottom;
/* discard 30 */
  (*(REF(30).tsdr)->finalize)(REF(30).value,F_DISCARD,sched);
  REF(30).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 33 */
  (*(REF(33).tsdr)->finalize)(REF(33).value,F_DISCARD,sched);
  REF(33).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 36 */
  (*(REF(36).tsdr)->finalize)(REF(36).value,F_DISCARD,sched);
  REF(36).tsdr = & dr_bottom;
/* discard 37 */
  (*(REF(37).tsdr)->finalize)(REF(37).value,F_DISCARD,sched);
  REF(37).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 40 */
  (*(REF(40).tsdr)->finalize)(REF(40).value,F_DISCARD,sched);
  REF(40).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 43 */
  (*(REF(43).tsdr)->finalize)(REF(43).value,F_DISCARD,sched);
  REF(43).tsdr = & dr_bottom;
/* discard 44 */
  (*(REF(44).tsdr)->finalize)(REF(44).value,F_DISCARD,sched);
  REF(44).tsdr = & dr_bottom;
/* discard 46 */
  (*(REF(46).tsdr)->finalize)(REF(46).value,F_DISCARD,sched);
  REF(46).tsdr = & dr_bottom;
/* discard 47 */
  (*(REF(47).tsdr)->finalize)(REF(47).value,F_DISCARD,sched);
  REF(47).tsdr = & dr_bottom;
/* discard 49 */
  (*(REF(49).tsdr)->finalize)(REF(49).value,F_DISCARD,sched);
  REF(49).tsdr = & dr_bottom;
/* discard 52 */
  (*(REF(52).tsdr)->finalize)(REF(52).value,F_DISCARD,sched);
  REF(52).tsdr = & dr_bottom;
/* discard 55 */
  (*(REF(55).tsdr)->finalize)(REF(55).value,F_DISCARD,sched);
  REF(55).tsdr = & dr_bottom;
/* discard 58 */
  (*(REF(58).tsdr)->finalize)(REF(58).value,F_DISCARD,sched);
  REF(58).tsdr = & dr_bottom;
/* discard 61 */
  (*(REF(61).tsdr)->finalize)(REF(61).value,F_DISCARD,sched);
  REF(61).tsdr = & dr_bottom;
/* discard 62 */
  (*(REF(62).tsdr)->finalize)(REF(62).value,F_DISCARD,sched);
  REF(62).tsdr = & dr_bottom;
/* discard 63 */
  (*(REF(63).tsdr)->finalize)(REF(63).value,F_DISCARD,sched);
  REF(63).tsdr = & dr_bottom;
/* discard 66 */
  (*(REF(66).tsdr)->finalize)(REF(66).value,F_DISCARD,sched);
  REF(66).tsdr = & dr_bottom;
/* discard 69 */
  (*(REF(69).tsdr)->finalize)(REF(69).value,F_DISCARD,sched);
  REF(69).tsdr = & dr_bottom;
/* discard 72 */
  (*(REF(72).tsdr)->finalize)(REF(72).value,F_DISCARD,sched);
  REF(72).tsdr = & dr_bottom;
/* discard 75 */
  (*(REF(75).tsdr)->finalize)(REF(75).value,F_DISCARD,sched);
  REF(75).tsdr = & dr_bottom;
/* discard 78 */
  (*(REF(78).tsdr)->finalize)(REF(78).value,F_DISCARD,sched);
  REF(78).tsdr = & dr_bottom;
/* discard 81 */
  (*(REF(81).tsdr)->finalize)(REF(81).value,F_DISCARD,sched);
  REF(81).tsdr = & dr_bottom;
/* discard 84 */
  (*(REF(84).tsdr)->finalize)(REF(84).value,F_DISCARD,sched);
  REF(84).tsdr = & dr_bottom;
/* discard 87 */
  (*(REF(87).tsdr)->finalize)(REF(87).value,F_DISCARD,sched);
  REF(87).tsdr = & dr_bottom;
/* discard 90 */
  (*(REF(90).tsdr)->finalize)(REF(90).value,F_DISCARD,sched);
  REF(90).tsdr = & dr_bottom;
/* discard 93 */
  (*(REF(93).tsdr)->finalize)(REF(93).value,F_DISCARD,sched);
  REF(93).tsdr = & dr_bottom;
/* discard 96 */
  (*(REF(96).tsdr)->finalize)(REF(96).value,F_DISCARD,sched);
  REF(96).tsdr = & dr_bottom;
/* discard 97 */
  (*(REF(97).tsdr)->finalize)(REF(97).value,F_DISCARD,sched);
  REF(97).tsdr = & dr_bottom;
/* discard 100 */
  (*(REF(100).tsdr)->finalize)(REF(100).value,F_DISCARD,sched);
  REF(100).tsdr = & dr_bottom;
/* discard 103 */
  (*(REF(103).tsdr)->finalize)(REF(103).value,F_DISCARD,sched);
  REF(103).tsdr = & dr_bottom;
/* discard 106 */
  (*(REF(106).tsdr)->finalize)(REF(106).value,F_DISCARD,sched);
  REF(106).tsdr = & dr_bottom;
/* discard 109 */
  (*(REF(109).tsdr)->finalize)(REF(109).value,F_DISCARD,sched);
  REF(109).tsdr = & dr_bottom;
/* discard 112 */
  (*(REF(112).tsdr)->finalize)(REF(112).value,F_DISCARD,sched);
  REF(112).tsdr = & dr_bottom;
/* discard 115 */
  (*(REF(115).tsdr)->finalize)(REF(115).value,F_DISCARD,sched);
  REF(115).tsdr = & dr_bottom;
/* discard 118 */
  (*(REF(118).tsdr)->finalize)(REF(118).value,F_DISCARD,sched);
  REF(118).tsdr = & dr_bottom;
/* discard 121 */
  (*(REF(121).tsdr)->finalize)(REF(121).value,F_DISCARD,sched);
  REF(121).tsdr = & dr_bottom;
/* discard 124 */
  (*(REF(124).tsdr)->finalize)(REF(124).value,F_DISCARD,sched);
  REF(124).tsdr = & dr_bottom;
/* discard 127 */
  (*(REF(127).tsdr)->finalize)(REF(127).value,F_DISCARD,sched);
  REF(127).tsdr = & dr_bottom;
/* discard 130 */
  (*(REF(130).tsdr)->finalize)(REF(130).value,F_DISCARD,sched);
  REF(130).tsdr = & dr_bottom;
/* discard 133 */
  (*(REF(133).tsdr)->finalize)(REF(133).value,F_DISCARD,sched);
  REF(133).tsdr = & dr_bottom;
/* discard 50 */
  (*(REF(50).tsdr)->finalize)(REF(50).value,F_DISCARD,sched);
  REF(50).tsdr = & dr_bottom;
/* discard 51 */
  (*(REF(51).tsdr)->finalize)(REF(51).value,F_DISCARD,sched);
  REF(51).tsdr = & dr_bottom;
/* discard 53 */
  (*(REF(53).tsdr)->finalize)(REF(53).value,F_DISCARD,sched);
  REF(53).tsdr = & dr_bottom;
/* discard 54 */
  (*(REF(54).tsdr)->finalize)(REF(54).value,F_DISCARD,sched);
  REF(54).tsdr = & dr_bottom;
/* discard 56 */
  (*(REF(56).tsdr)->finalize)(REF(56).value,F_DISCARD,sched);
  REF(56).tsdr = & dr_bottom;
/* discard 57 */
  (*(REF(57).tsdr)->finalize)(REF(57).value,F_DISCARD,sched);
  REF(57).tsdr = & dr_bottom;
/* discard 59 */
  (*(REF(59).tsdr)->finalize)(REF(59).value,F_DISCARD,sched);
  REF(59).tsdr = & dr_bottom;
/* discard 60 */
  (*(REF(60).tsdr)->finalize)(REF(60).value,F_DISCARD,sched);
  REF(60).tsdr = & dr_bottom;
/* discard 64 */
  (*(REF(64).tsdr)->finalize)(REF(64).value,F_DISCARD,sched);
  REF(64).tsdr = & dr_bottom;
/* discard 65 */
  (*(REF(65).tsdr)->finalize)(REF(65).value,F_DISCARD,sched);
  REF(65).tsdr = & dr_bottom;
/* discard 67 */
  (*(REF(67).tsdr)->finalize)(REF(67).value,F_DISCARD,sched);
  REF(67).tsdr = & dr_bottom;
/* discard 68 */
  (*(REF(68).tsdr)->finalize)(REF(68).value,F_DISCARD,sched);
  REF(68).tsdr = & dr_bottom;
/* discard 70 */
  (*(REF(70).tsdr)->finalize)(REF(70).value,F_DISCARD,sched);
  REF(70).tsdr = & dr_bottom;
/* discard 71 */
  (*(REF(71).tsdr)->finalize)(REF(71).value,F_DISCARD,sched);
  REF(71).tsdr = & dr_bottom;
/* discard 73 */
  (*(REF(73).tsdr)->finalize)(REF(73).value,F_DISCARD,sched);
  REF(73).tsdr = & dr_bottom;
/* discard 74 */
  (*(REF(74).tsdr)->finalize)(REF(74).value,F_DISCARD,sched);
  REF(74).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 80 */
  (*(REF(80).tsdr)->finalize)(REF(80).value,F_DISCARD,sched);
  REF(80).tsdr = & dr_bottom;
/* discard 82 */
  (*(REF(82).tsdr)->finalize)(REF(82).value,F_DISCARD,sched);
  REF(82).tsdr = & dr_bottom;
/* discard 83 */
  (*(REF(83).tsdr)->finalize)(REF(83).value,F_DISCARD,sched);
  REF(83).tsdr = & dr_bottom;
/* discard 85 */
  (*(REF(85).tsdr)->finalize)(REF(85).value,F_DISCARD,sched);
  REF(85).tsdr = & dr_bottom;
/* discard 86 */
  (*(REF(86).tsdr)->finalize)(REF(86).value,F_DISCARD,sched);
  REF(86).tsdr = & dr_bottom;
/* discard 88 */
  (*(REF(88).tsdr)->finalize)(REF(88).value,F_DISCARD,sched);
  REF(88).tsdr = & dr_bottom;
/* discard 89 */
  (*(REF(89).tsdr)->finalize)(REF(89).value,F_DISCARD,sched);
  REF(89).tsdr = & dr_bottom;
/* discard 91 */
  (*(REF(91).tsdr)->finalize)(REF(91).value,F_DISCARD,sched);
  REF(91).tsdr = & dr_bottom;
/* discard 92 */
  (*(REF(92).tsdr)->finalize)(REF(92).value,F_DISCARD,sched);
  REF(92).tsdr = & dr_bottom;
/* discard 94 */
  (*(REF(94).tsdr)->finalize)(REF(94).value,F_DISCARD,sched);
  REF(94).tsdr = & dr_bottom;
/* discard 95 */
  (*(REF(95).tsdr)->finalize)(REF(95).value,F_DISCARD,sched);
  REF(95).tsdr = & dr_bottom;
/* discard 98 */
  (*(REF(98).tsdr)->finalize)(REF(98).value,F_DISCARD,sched);
  REF(98).tsdr = & dr_bottom;
/* discard 99 */
  (*(REF(99).tsdr)->finalize)(REF(99).value,F_DISCARD,sched);
  REF(99).tsdr = & dr_bottom;
/* discard 101 */
  (*(REF(101).tsdr)->finalize)(REF(101).value,F_DISCARD,sched);
  REF(101).tsdr = & dr_bottom;
/* discard 102 */
  (*(REF(102).tsdr)->finalize)(REF(102).value,F_DISCARD,sched);
  REF(102).tsdr = & dr_bottom;
/* discard 104 */
  (*(REF(104).tsdr)->finalize)(REF(104).value,F_DISCARD,sched);
  REF(104).tsdr = & dr_bottom;
/* discard 105 */
  (*(REF(105).tsdr)->finalize)(REF(105).value,F_DISCARD,sched);
  REF(105).tsdr = & dr_bottom;
/* discard 107 */
  (*(REF(107).tsdr)->finalize)(REF(107).value,F_DISCARD,sched);
  REF(107).tsdr = & dr_bottom;
/* discard 108 */
  (*(REF(108).tsdr)->finalize)(REF(108).value,F_DISCARD,sched);
  REF(108).tsdr = & dr_bottom;
/* discard 110 */
  (*(REF(110).tsdr)->finalize)(REF(110).value,F_DISCARD,sched);
  REF(110).tsdr = & dr_bottom;
/* discard 111 */
  (*(REF(111).tsdr)->finalize)(REF(111).value,F_DISCARD,sched);
  REF(111).tsdr = & dr_bottom;
/* discard 113 */
  (*(REF(113).tsdr)->finalize)(REF(113).value,F_DISCARD,sched);
  REF(113).tsdr = & dr_bottom;
/* discard 114 */
  (*(REF(114).tsdr)->finalize)(REF(114).value,F_DISCARD,sched);
  REF(114).tsdr = & dr_bottom;
/* discard 116 */
  (*(REF(116).tsdr)->finalize)(REF(116).value,F_DISCARD,sched);
  REF(116).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 120 */
  (*(REF(120).tsdr)->finalize)(REF(120).value,F_DISCARD,sched);
  REF(120).tsdr = & dr_bottom;
/* discard 122 */
  (*(REF(122).tsdr)->finalize)(REF(122).value,F_DISCARD,sched);
  REF(122).tsdr = & dr_bottom;
/* discard 123 */
  (*(REF(123).tsdr)->finalize)(REF(123).value,F_DISCARD,sched);
  REF(123).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 128 */
  (*(REF(128).tsdr)->finalize)(REF(128).value,F_DISCARD,sched);
  REF(128).tsdr = & dr_bottom;
/* discard 129 */
  (*(REF(129).tsdr)->finalize)(REF(129).value,F_DISCARD,sched);
  REF(129).tsdr = & dr_bottom;
/* discard 131 */
  (*(REF(131).tsdr)->finalize)(REF(131).value,F_DISCARD,sched);
  REF(131).tsdr = & dr_bottom;
/* discard 132 */
  (*(REF(132).tsdr)->finalize)(REF(132).value,F_DISCARD,sched);
  REF(132).tsdr = & dr_bottom;
/* discard 134 */
  (*(REF(134).tsdr)->finalize)(REF(134).value,F_DISCARD,sched);
  REF(134).tsdr = & dr_bottom;
/* discard 135 */
  (*(REF(135).tsdr)->finalize)(REF(135).value,F_DISCARD,sched);
  REF(135).tsdr = & dr_bottom;
/* discard 137 */
  (*(REF(137).tsdr)->finalize)(REF(137).value,F_DISCARD,sched);
  REF(137).tsdr = & dr_bottom;
/* chs_lit 160 , "Unexpected error in typestate.p" */
  if( !chs_lit(DEF(160),"Unexpected error in typestate.p") )
     goto ch_depletion;
/* print 160 */
  re_print(stderr, 0, DEF(160)); fflush(stderr);
/* discard 160 */
  (*(REF(160).tsdr)->finalize)(REF(160).value,F_DISCARD,sched);
  REF(160).tsdr = & dr_bottom;
c707:
/* discard 45 */
  (*(REF(45).tsdr)->finalize)(REF(45).value,F_DISCARD,sched);
  REF(45).tsdr = & dr_bottom;
/* discard 48 */
  (*(REF(48).tsdr)->finalize)(REF(48).value,F_DISCARD,sched);
  REF(48).tsdr = & dr_bottom;
/* discard 4 */
  (*(REF(4).tsdr)->finalize)(REF(4).value,F_DISCARD,sched);
  REF(4).tsdr = & dr_bottom;
/* discard 5 */
  (*(REF(5).tsdr)->finalize)(REF(5).value,F_DISCARD,sched);
  REF(5).tsdr = & dr_bottom;
/* discard 7 */
  (*(REF(7).tsdr)->finalize)(REF(7).value,F_DISCARD,sched);
  REF(7).tsdr = & dr_bottom;
/* discard 159 */
  (*(REF(159).tsdr)->finalize)(REF(159).value,F_DISCARD,sched);
  REF(159).tsdr = & dr_bottom;
/* endblock */
  che_endblock(sched);
c715:
/* endprocess */
  che_endprocess(sched); return;
#include "chtail.h"
