/* 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 {
        struct _Ginst *_L_Ginterpret_0_prg;
        int _L_Ginterpret_1_pc;
        int _L_Ginterpret_1_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;
size_t _global_sstore_size = (size_t)sizeof(_store);

size_t _local_sstore_size = (size_t)sizeof(_local_sstore);



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

int EV_36() {
return(_local_sstore._L_Ginterpret_1_pc < _store.prg_size);
}

void EV_35() {
;
;
}

int EV_34() {
return(_local_sstore._L_Ginterpret_1_pc < _store.prg_size);
}

void EV_33() {
_local_sstore._L_Ginterpret_1_pc = _local_sstore._L_Ginterpret_1_pc + 1;
}

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

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

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

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

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

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

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

int EV_25() {
return(_local_sstore._L_Ginterpret_1_pc);
}

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

void EV_23() {
_local_sstore._L_Ginterpret_1_sp = _local_sstore._L_Ginterpret_1_sp - 2;
}

int EV_22() {
return(_local_sstore._L_Ginterpret_1_sp - 1);
}

int EV_21() {
return(_local_sstore._L_Ginterpret_1_sp);
}

int EV_20() {
return(_local_sstore._L_Ginterpret_1_sp);
}

int EV_19() {
return(_local_sstore._L_Ginterpret_1_sp);
}

void EV_18() {
_local_sstore._L_Ginterpret_1_sp = _local_sstore._L_Ginterpret_1_sp - 1;
}

int EV_17() {
return(_local_sstore._L_Ginterpret_1_sp - 1);
}

int EV_16() {
return(_local_sstore._L_Ginterpret_1_sp);
}

int EV_15() {
return(_local_sstore._L_Ginterpret_1_sp - 1);
}

void EV_14() {
_local_sstore._L_Ginterpret_1_sp = _local_sstore._L_Ginterpret_1_sp - 1;
}

int EV_13() {
return(_local_sstore._L_Ginterpret_1_sp);
}

int EV_12() {
return(_local_sstore._L_Ginterpret_1_sp - 1);
}

int EV_11() {
return(_local_sstore._L_Ginterpret_1_sp - 1);
}

void EV_10() {
_local_sstore._L_Ginterpret_1_sp = _local_sstore._L_Ginterpret_1_sp - 1;
}

int EV_9() {
return(_local_sstore._L_Ginterpret_1_sp - 1);
}

int EV_8() {
return(_local_sstore._L_Ginterpret_1_sp);
}

int EV_7() {
return(_local_sstore._L_Ginterpret_1_sp - 1);
}

void EV_6() {
{
  _local_sstore._L_Ginterpret_1_sp = _local_sstore._L_Ginterpret_1_sp - 1;
}
;
}

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

int EV_4() {
return(_local_sstore._L_Ginterpret_1_sp);
}

void EV_3() {
_local_sstore._L_Ginterpret_1_sp = _local_sstore._L_Ginterpret_1_sp + 1;
}

void EV_2() {
_local_sstore._L_Ginterpret_1_sp = 0;
}

void EV_1() {
_local_sstore._L_Ginterpret_1_pc = 0;
}