/* TEMPO Version 1.191, 03/11/98, Copyright (c) IRISA/INRIA-Universite de Rennes */
typedef char *Universal;
#define inst _Ginst
struct _Ginst { int opcode;
                int val; };


struct _global_sstore_s {
        int prg_size;
       } _store ;
#define prg_size _store.prg_size