/* 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;
       } _local_sstore ;

Universal _global_sstore_start = (char *) &_store;
Universal _local_sstore_start = (char *) &_local_sstore;
size_t _global_sstore_size = (size_t)sizeof(_store);

size_t _local_sstore_size = (size_t)sizeof(_local_sstore);



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

void EV_3() {
;
;
}

int EV_2() {
return(_store.prg_size);
}

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