/* TEMPO Version 1.191, 03/11/98, Copyright (c) IRISA/INRIA-Universite de Rennes */

#include "stdlib.h"
#include "defs.h"
typedef char *Universal;
Universal ML_list_separator = ",";
struct _Ginst { int opcode;
                int val; };
extern int mem[];
extern int stack[];
flow_exception global_x;

struct _global_sstore_s {
        int prg_size;
       } _store ;

struct _local_sstore_s {
        int _L_Ginterpret_0_pc;
        struct _Ginst *_L_Ginterpret_0_prg;
        int _L_Ginterpret_0_sp;
       } _local_sstore ;

Universal _global_sstore_start = (char *) &_store;
Universal _local_sstore_start = (char *) &_local_sstore;
Universal _arg1 = (Universal) &_local_sstore._L_Ginterpret_0_prg;
Universal _arg2 = (Universal) &_local_sstore._L_Ginterpret_0_pc;
size_t _global_sstore_size = (size_t)sizeof(_store);

size_t _local_sstore_size = (size_t)sizeof(_local_sstore);



void EV_98() {
_local_sstore._L_Ginterpret_0_pc = _local_sstore._L_Ginterpret_0_pc;
}

void EV_97() {
_local_sstore._L_Ginterpret_0_prg = _local_sstore._L_Ginterpret_0_prg;
}

int EV_96() {
return(_local_sstore._L_Ginterpret_0_pc < _store.prg_size);
}

void EV_95() {
;
;
}

int EV_94() {
return((_local_sstore._L_Ginterpret_0_prg/* {_Ginst} */[_local_sstore._L_Ginterpret_0_pc]).opcode == 0);
}

int EV_93() {
return((_local_sstore._L_Ginterpret_0_prg/* {_Ginst} */[_local_sstore._L_Ginterpret_0_pc]).opcode == 1);
}

int EV_92() {
return((_local_sstore._L_Ginterpret_0_prg/* {_Ginst} */[_local_sstore._L_Ginterpret_0_pc]).opcode == 2);
}

int EV_91() {
return((_local_sstore._L_Ginterpret_0_prg/* {_Ginst} */[_local_sstore._L_Ginterpret_0_pc]).opcode == 3);
}

int EV_90() {
return((_local_sstore._L_Ginterpret_0_prg/* {_Ginst} */[_local_sstore._L_Ginterpret_0_pc]).opcode == 4);
}

int EV_89() {
return((_local_sstore._L_Ginterpret_0_prg/* {_Ginst} */[_local_sstore._L_Ginterpret_0_pc]).opcode == 5);
}

int EV_88() {
return((_local_sstore._L_Ginterpret_0_prg/* {_Ginst} */[_local_sstore._L_Ginterpret_0_pc]).opcode == 6);
}

int EV_87() {
return((_local_sstore._L_Ginterpret_0_prg/* {_Ginst} */[_local_sstore._L_Ginterpret_0_pc]).opcode == 7);
}

int EV_86() {
return((_local_sstore._L_Ginterpret_0_prg/* {_Ginst} */[_local_sstore._L_Ginterpret_0_pc]).opcode == 8);
}

int EV_85() {
return((_local_sstore._L_Ginterpret_0_prg/* {_Ginst} */[_local_sstore._L_Ginterpret_0_pc]).opcode == 9);
}

int EV_84() {
return(_local_sstore._L_Ginterpret_0_pc);
}

int EV_83() {
return((_local_sstore._L_Ginterpret_0_prg/* {_Ginst} */[_local_sstore._L_Ginterpret_0_pc]).opcode);
}

void EV_82() {
_local_sstore._L_Ginterpret_0_pc = _local_sstore._L_Ginterpret_0_pc;
}

void EV_81() {
_local_sstore._L_Ginterpret_0_prg = _local_sstore._L_Ginterpret_0_prg;
}

void EV_80() {
_local_sstore._L_Ginterpret_0_pc = _local_sstore._L_Ginterpret_0_pc + 1;
}

void EV_79() {
_local_sstore._L_Ginterpret_0_pc = _local_sstore._L_Ginterpret_0_pc;
}

void EV_78() {
_local_sstore._L_Ginterpret_0_prg = _local_sstore._L_Ginterpret_0_prg;
}

void EV_77() {
_local_sstore._L_Ginterpret_0_pc = _local_sstore._L_Ginterpret_0_pc + 1;
}

void EV_76() {
_local_sstore._L_Ginterpret_0_pc = _local_sstore._L_Ginterpret_0_pc;
}

void EV_75() {
_local_sstore._L_Ginterpret_0_prg = _local_sstore._L_Ginterpret_0_prg;
}

void EV_74() {
_local_sstore._L_Ginterpret_0_pc = (_local_sstore._L_Ginterpret_0_prg/* {_Ginst} */[_local_sstore._L_Ginterpret_0_pc]).val;
}

void EV_73() {
_local_sstore._L_Ginterpret_0_pc = _local_sstore._L_Ginterpret_0_pc;
}

void EV_72() {
_local_sstore._L_Ginterpret_0_prg = _local_sstore._L_Ginterpret_0_prg;
}

void EV_71() {
_local_sstore._L_Ginterpret_0_pc = (_local_sstore._L_Ginterpret_0_prg/* {_Ginst} */[_local_sstore._L_Ginterpret_0_pc]).val;
}

void EV_70() {
_local_sstore._L_Ginterpret_0_pc = _local_sstore._L_Ginterpret_0_pc;
}

void EV_69() {
_local_sstore._L_Ginterpret_0_prg = _local_sstore._L_Ginterpret_0_prg;
}

void EV_68() {
_local_sstore._L_Ginterpret_0_pc = _local_sstore._L_Ginterpret_0_pc + 1;
}

void EV_67() {
_local_sstore._L_Ginterpret_0_pc = _local_sstore._L_Ginterpret_0_pc;
}

void EV_66() {
_local_sstore._L_Ginterpret_0_prg = _local_sstore._L_Ginterpret_0_prg;
}

void EV_65() {
_local_sstore._L_Ginterpret_0_pc = _local_sstore._L_Ginterpret_0_pc + 1;
}

void EV_64() {
_local_sstore._L_Ginterpret_0_pc = _local_sstore._L_Ginterpret_0_pc;
}

void EV_63() {
_local_sstore._L_Ginterpret_0_prg = _local_sstore._L_Ginterpret_0_prg;
}

void EV_62() {
_local_sstore._L_Ginterpret_0_pc = _local_sstore._L_Ginterpret_0_pc + 1;
}

void EV_61() {
_local_sstore._L_Ginterpret_0_pc = _local_sstore._L_Ginterpret_0_pc;
}

void EV_60() {
_local_sstore._L_Ginterpret_0_prg = _local_sstore._L_Ginterpret_0_prg;
}

void EV_59() {
_local_sstore._L_Ginterpret_0_pc = _local_sstore._L_Ginterpret_0_pc + 1;
}

void EV_58() {
_local_sstore._L_Ginterpret_0_pc = _local_sstore._L_Ginterpret_0_pc;
}

void EV_57() {
_local_sstore._L_Ginterpret_0_prg = _local_sstore._L_Ginterpret_0_prg;
}

void EV_56() {
_local_sstore._L_Ginterpret_0_pc = _local_sstore._L_Ginterpret_0_pc + 1;
}

void EV_55() {
_local_sstore._L_Ginterpret_0_pc = _local_sstore._L_Ginterpret_0_pc;
}

void EV_54() {
_local_sstore._L_Ginterpret_0_prg = _local_sstore._L_Ginterpret_0_prg;
}

void EV_53() {
_local_sstore._L_Ginterpret_0_pc = _local_sstore._L_Ginterpret_0_pc + 1;
}

void EV_52() {
_local_sstore._L_Ginterpret_0_pc = _local_sstore._L_Ginterpret_0_pc;
}

void EV_51() {
_local_sstore._L_Ginterpret_0_prg = _local_sstore._L_Ginterpret_0_prg;
}

void EV_50() {
_local_sstore._L_Ginterpret_0_pc = _local_sstore._L_Ginterpret_0_pc + 1;
}

int EV_49() {
return((_local_sstore._L_Ginterpret_0_prg/* {_Ginst} */[_local_sstore._L_Ginterpret_0_pc]).val);
}

int EV_48() {
return(_local_sstore._L_Ginterpret_0_pc < _store.prg_size);
}

void EV_47() {
;
;
}

int EV_46() {
return((_local_sstore._L_Ginterpret_0_prg/* {_Ginst} */[_local_sstore._L_Ginterpret_0_pc]).opcode == 0);
}

int EV_45() {
return((_local_sstore._L_Ginterpret_0_prg/* {_Ginst} */[_local_sstore._L_Ginterpret_0_pc]).opcode == 1);
}

int EV_44() {
return((_local_sstore._L_Ginterpret_0_prg/* {_Ginst} */[_local_sstore._L_Ginterpret_0_pc]).opcode == 2);
}

int EV_43() {
return((_local_sstore._L_Ginterpret_0_prg/* {_Ginst} */[_local_sstore._L_Ginterpret_0_pc]).opcode == 3);
}

int EV_42() {
return((_local_sstore._L_Ginterpret_0_prg/* {_Ginst} */[_local_sstore._L_Ginterpret_0_pc]).opcode == 4);
}

int EV_41() {
return((_local_sstore._L_Ginterpret_0_prg/* {_Ginst} */[_local_sstore._L_Ginterpret_0_pc]).opcode == 5);
}

int EV_40() {
return((_local_sstore._L_Ginterpret_0_prg/* {_Ginst} */[_local_sstore._L_Ginterpret_0_pc]).opcode == 6);
}

int EV_39() {
return((_local_sstore._L_Ginterpret_0_prg/* {_Ginst} */[_local_sstore._L_Ginterpret_0_pc]).opcode == 7);
}

int EV_38() {
return((_local_sstore._L_Ginterpret_0_prg/* {_Ginst} */[_local_sstore._L_Ginterpret_0_pc]).opcode == 8);
}

int EV_37() {
return((_local_sstore._L_Ginterpret_0_prg/* {_Ginst} */[_local_sstore._L_Ginterpret_0_pc]).opcode == 9);
}

int EV_36() {
return(_local_sstore._L_Ginterpret_0_pc);
}

int EV_35() {
return((_local_sstore._L_Ginterpret_0_prg/* {_Ginst} */[_local_sstore._L_Ginterpret_0_pc]).opcode);
}

void EV_34() {
_local_sstore._L_Ginterpret_0_pc = _local_sstore._L_Ginterpret_0_pc;
}

void EV_33() {
_local_sstore._L_Ginterpret_0_prg = _local_sstore._L_Ginterpret_0_prg;
}

void EV_32() {
_local_sstore._L_Ginterpret_0_pc = _local_sstore._L_Ginterpret_0_pc + 1;
}

void EV_31() {
_local_sstore._L_Ginterpret_0_pc = _local_sstore._L_Ginterpret_0_pc;
}

void EV_30() {
_local_sstore._L_Ginterpret_0_prg = _local_sstore._L_Ginterpret_0_prg;
}

void EV_29() {
_local_sstore._L_Ginterpret_0_pc = _local_sstore._L_Ginterpret_0_pc + 1;
}

void EV_28() {
_local_sstore._L_Ginterpret_0_pc = _local_sstore._L_Ginterpret_0_pc;
}

void EV_27() {
_local_sstore._L_Ginterpret_0_prg = _local_sstore._L_Ginterpret_0_prg;
}

void EV_26() {
_local_sstore._L_Ginterpret_0_pc = (_local_sstore._L_Ginterpret_0_prg/* {_Ginst} */[_local_sstore._L_Ginterpret_0_pc]).val;
}

void EV_25() {
_local_sstore._L_Ginterpret_0_pc = _local_sstore._L_Ginterpret_0_pc;
}

void EV_24() {
_local_sstore._L_Ginterpret_0_prg = _local_sstore._L_Ginterpret_0_prg;
}

void EV_23() {
_local_sstore._L_Ginterpret_0_pc = (_local_sstore._L_Ginterpret_0_prg/* {_Ginst} */[_local_sstore._L_Ginterpret_0_pc]).val;
}

void EV_22() {
_local_sstore._L_Ginterpret_0_pc = _local_sstore._L_Ginterpret_0_pc;
}

void EV_21() {
_local_sstore._L_Ginterpret_0_prg = _local_sstore._L_Ginterpret_0_prg;
}

void EV_20() {
_local_sstore._L_Ginterpret_0_pc = _local_sstore._L_Ginterpret_0_pc + 1;
}

void EV_19() {
_local_sstore._L_Ginterpret_0_pc = _local_sstore._L_Ginterpret_0_pc;
}

void EV_18() {
_local_sstore._L_Ginterpret_0_prg = _local_sstore._L_Ginterpret_0_prg;
}

void EV_17() {
_local_sstore._L_Ginterpret_0_pc = _local_sstore._L_Ginterpret_0_pc + 1;
}

void EV_16() {
_local_sstore._L_Ginterpret_0_pc = _local_sstore._L_Ginterpret_0_pc;
}

void EV_15() {
_local_sstore._L_Ginterpret_0_prg = _local_sstore._L_Ginterpret_0_prg;
}

void EV_14() {
_local_sstore._L_Ginterpret_0_pc = _local_sstore._L_Ginterpret_0_pc + 1;
}

void EV_13() {
_local_sstore._L_Ginterpret_0_pc = _local_sstore._L_Ginterpret_0_pc;
}

void EV_12() {
_local_sstore._L_Ginterpret_0_prg = _local_sstore._L_Ginterpret_0_prg;
}

void EV_11() {
_local_sstore._L_Ginterpret_0_pc = _local_sstore._L_Ginterpret_0_pc + 1;
}

void EV_10() {
_local_sstore._L_Ginterpret_0_pc = _local_sstore._L_Ginterpret_0_pc;
}

void EV_9() {
_local_sstore._L_Ginterpret_0_prg = _local_sstore._L_Ginterpret_0_prg;
}

void EV_8() {
_local_sstore._L_Ginterpret_0_pc = _local_sstore._L_Ginterpret_0_pc + 1;
}

void EV_7() {
_local_sstore._L_Ginterpret_0_pc = _local_sstore._L_Ginterpret_0_pc;
}

void EV_6() {
_local_sstore._L_Ginterpret_0_prg = _local_sstore._L_Ginterpret_0_prg;
}

void EV_5() {
_local_sstore._L_Ginterpret_0_pc = _local_sstore._L_Ginterpret_0_pc + 1;
}

void EV_4() {
_local_sstore._L_Ginterpret_0_pc = _local_sstore._L_Ginterpret_0_pc;
}

void EV_3() {
_local_sstore._L_Ginterpret_0_prg = _local_sstore._L_Ginterpret_0_prg;
}

void EV_2() {
_local_sstore._L_Ginterpret_0_pc = _local_sstore._L_Ginterpret_0_pc + 1;
}

int EV_1() {
return((_local_sstore._L_Ginterpret_0_prg/* {_Ginst} */[_local_sstore._L_Ginterpret_0_pc]).val);
}