/*
-- ANSI C code generated by :
-- SmallEiffel The GNU Eiffel Compiler -- Release (- 0.82)      --
-- Copyright (C), 1994-98 - LORIA - UHP - CRIN - INRIA - FRANCE --
-- Dominique COLNET and Suzanne COLLIN -    colnet@loria.fr     --
--                 http://www.loria.fr/SmallEiffel              --
*/

#include <stdio.h>
#include <string.h>
#include <math.h>
#include <stdlib.h>
#include <signal.h>
#include <stddef.h>
#include <stdarg.h>
#include <limits.h>
#include <float.h>
#include <setjmp.h>
#include <sys/types.h>
#include <sys/stat.h>
#include <fcntl.h>
#ifndef O_RDONLY
#include <sys/file.h>
#endif
#ifndef O_RDONLY
#define O_RDONLY 0000
#endif
typedef struct S0 T0;
struct S0{int id;};
#define INTEGERid 2
#define CHARACTERid 3
#define REALid 4
#define DOUBLEid 5
#define BOOLEANid 6
#define POINTERid 8
#define expandedid 10
#define REFid 11
#define LINKid 12
#define FTAGid 13
#define NAMEid 14
#define COLUMNid 15
#define LINEid 16
#define PATHid 17
#define DOINGid 18
#define INVid 19
#define BITid 20

/* --- Mangling Table Start ---
A*1  T7    R STRING 7
A*1  T515  R FIXED_ARRAY[CP_INFO] 515
A 1  T459  E BIT 8 459
A 1  T2    E INTEGER 2
A 1  T6    E BOOLEAN 6
A*1  T830  R STD_OUTPUT 830
A 1  T400  E NATIVE_ARRAY[STRING] 400
A 1  T593  E BIT 32 593
A*1  T479  R BOOLEAN_REF 479
A 1  T3    E CHARACTER 3
A*1  T378  R CP_INFO 378
A 1  T995  E NATIVE_ARRAY[CP_INFO] 995
A 1  T9    E NATIVE_ARRAY[CHARACTER] 9
A*1  T95   R CONSTANT_POOL 95
A*1  T999  R BINARY_FILE_READ 999
A*1  T874  R PRINT_JVM_CLASS 874
A*1  T509  R INTEGER_REF 509
A*1  T927  R FIXED_ARRAY[STRING] 927
A 1  T8    E POINTER 8
 --- Mangling Table End --- */

/*C Header Pass 1 :*/
typedef struct S7 T7;
typedef struct S515 T515;
typedef unsigned char T459;
typedef int T2;
typedef int T6;
typedef void*T830;
typedef unsigned T593;
typedef struct S479 T479;
typedef char T3;
typedef struct S378 T378;
typedef struct S95 T95;
typedef struct S999 T999;
typedef struct S874 T874;
typedef struct S509 T509;
typedef struct S927 T927;
typedef void* T8;

/*C Header Pass 2 :*/
typedef T0**T400;
typedef T0**T995;
typedef T3*T9;

/*C Header Pass 3 :*/

/*C Header Pass 4 :*/
struct S7{T9 _storage;int _count;int _capacity;};
extern T7 M7;
struct S515{T995 _storage;int _capacity;int _upper;};
extern T515 M515;
extern T830 M830;
struct S479{int _item;};
extern T479 M479;
struct S378{char _tag;T0* _info;};
extern T378 M378;
struct S95{int _cp_up;};
extern T95 M95;
struct S999{T0* _path;int _last_byte;void* _output_stream;};
extern T999 M999;
struct S874{T0* _file_of_bytes;T0* _access_flag;int _fields_count;int _total_byte;char _last_u1;int _last_idx;};
extern T874 M874;
struct S509{int _item;};
extern T509 M509;
struct S927{T400 _storage;int _capacity;int _upper;};
extern T927 M927;
void r2append_in(int C,T0* a1);
int r2_px_94(int C,int a1);
char r2digit(int C);
int r6_ix_not(int C);
void r3to_hexadecimal_in(char C,T0* a1);
T0* r3to_hexadecimal(char C);
T459 r459_px_646262(T459 C,int a1);
void r400set_all_with(T400 C,T0* a1,int a2);
void r995set_all_with(T995 C,T0* a1,int a2);
void r995copy_from(T995 C,T995 a1,int a2);
T995 r995realloc(T995 C,int a1,int a2);
int r9fast_memcmp(T9 C,T9 a1,int a2);
void r9copy_from(T9 C,T9 a1,int a2);
T9 r9realloc(T9 C,int a1,int a2);
void r7extend(T7* C,char a1);
void r7make(T7* C,int a1);
void* r7to_external(T7* C);
T0* r7twin(T7* C);
int r7is_equal(T7* C,T0* a1);
void r7swap(T7* C,int a1,int a2);
char r7last(T7* C);
int r7has_suffix(T7* C,T0* a1);
void r7copy(T7* C,T0* a1);
void r7append(T7* C,T0* a1);
void r515make(T515* C,int a1);
void r515add_last(T515* C,T0* a1);
void r927make(T927* C,int a1);
extern T0*oBC817tmp_string;
void r830put_string(T830* C,T0* a1);
void r830put_integer(T830* C,int a1);
void r378set_double(T378* C,T0* a1);
void r378set_uft8(T378* C,T0* a1);
void r378set_interface_methodref(T378* C,T0* a1);
void r378set_name_and_type(T378* C,T0* a1);
void r378set_float(T378* C,T0* a1);
int r378u2_to_integer(T378* C,int a1);
void r378clear(T378* C);
void r378set_string(T378* C,T0* a1);
extern T0*oBC364constant_pool;
void r378set_integer(T378* C,T0* a1);
void r378set_class(T378* C,T0* a1);
void r378set_long(T378* C,T0* a1);
void r378view_in(T378* C,T0* a1);
void r378set_methodref(T378* C,T0* a1);
int r378is_class(T378* C);
void r378set_fieldref(T378* C,T0* a1);
extern T0*oBC95cp;
void r95reset(T95* C,int a1);
int r95valid_index(T95* C,int a1);
T0* r95add_last(T95* C);
int r95is_class(int a1);
void r999connect_to(T999* C,T0* a1);
void r999disconnect(T999* C);
void r999read_byte(T999* C);
void* r999bfr_open(int a1,void* a2);
int r999end_of_input(T999* C);
int r874last_u4_as_integer(void);
void r874read_and_print_byte_code(T874* C,int a1);
int r874last_u2_as_integer(void);
void r874print_method_info(T874* C);
void r874print_jvm_class(T874* C);
void r874read_and_print_u2(T874* C);
void r874make(T874* C);
void r874print_field_info(T874* C);
void r874read_u1(T874* C);
void r874print_cp_info(T874* C,int a1);
void r874read_u2(T874* C);
extern T0*oBC1std_output;
extern T0*oBC874last_u2;
void r874read_uft8(T874* C);
void r874read_u4(T874* C);
void r874read_and_print_u4(T874* C);
void r874read_u2_idx(T874* C);
extern T0*oBC874last_u4;
extern int fBC1command_arguments;
extern T0*oBC1command_arguments;
T0* r874command_arguments(void);
void r874print_hexadecimal(T0* a1);
void r874view_pc(int a1,int a2);
extern T0*oBC874inst;
void r874flag_list_add(T0* a1);
extern T0*oBC874tmp_string;
extern T0*oBC874last_uft8;
void r874read_and_print_u2_idx(T874* C);
extern T0*oBC874last_u8;
void r874read_and_print_exception(T874* C,int a1);
void r874inst_opcode(T0* a1);
void r874print_attribute_info(T874* C);
extern T0*oBC874flag_list;
T0* r874argument(int a1);
void r874bad_class_file(T874* C,T0* a1);
void r874print_code_attribute(T874* C,int a1);
extern int se_argc;
extern char**se_argv;
extern T7*ms3_874;
extern T7*ms2_874;
extern T7*ms4_874;
extern T7*ms5_874;
extern T7*ms10_874;
extern T7*ms11_874;
extern T7*ms12_874;
extern T7*ms13_874;
extern T7*ms14_874;
extern T7*ms15_874;
extern T7*ms18_874;
extern T7*ms17_874;
extern T7*ms16_874;
extern T7*ms19_874;
extern T7*ms66_874;
extern T7*ms67_874;
extern T7*ms65_874;
extern T7*ms63_874;
extern T7*ms64_874;
extern T7*ms62_874;
extern T7*ms61_874;
extern T7*ms60_874;
extern T7*ms59_874;
extern T7*ms58_874;
extern T7*ms56_874;
extern T7*ms57_874;
extern T7*ms54_874;
extern T7*ms55_874;
extern T7*ms52_874;
extern T7*ms53_874;
extern T7*ms51_874;
extern T7*ms20_874;
extern T7*ms21_874;
extern T7*ms22_874;
extern T7*ms23_874;
extern T7*ms24_874;
extern T7*ms25_874;
extern T7*ms26_874;
extern T7*ms28_874;
extern T7*ms27_874;
extern T7*ms29_874;
extern T7*ms31_874;
extern T7*ms30_874;
extern T7*ms32_874;
extern T7*ms33_874;
extern T7*ms34_874;
extern T7*ms37_874;
extern T7*ms36_874;
extern T7*ms35_874;
extern T7*ms38_874;
extern T7*ms70_874;
extern T7*ms69_874;
extern T7*ms68_874;
extern T7*ms73_874;
extern T7*ms72_874;
extern T7*ms71_874;
extern T7*ms74_874;
extern T7*ms75_874;
extern T7*ms39_874;
extern T7*ms42_874;
extern T7*ms41_874;
extern T7*ms40_874;
extern T7*ms43_874;
extern T7*ms9_874;
extern T7*ms239_874;
extern T7*ms78_874;
extern T7*ms77_874;
extern T7*ms76_874;
extern T7*ms81_874;
extern T7*ms80_874;
extern T7*ms79_874;
extern T7*ms240_874;
extern T7*ms82_874;
extern T7*ms44_874;
extern T7*ms47_874;
extern T7*ms46_874;
extern T7*ms45_874;
extern T7*ms48_874;
extern T7*ms86_874;
extern T7*ms87_874;
extern T7*ms88_874;
extern T7*ms89_874;
extern T7*ms90_874;
extern T7*ms91_874;
extern T7*ms102_874;
extern T7*ms233_874;
extern T7*ms232_874;
extern T7*ms231_874;
extern T7*ms230_874;
extern T7*ms229_874;
extern T7*ms228_874;
extern T7*ms227_874;
extern T7*ms218_874;
extern T7*ms226_874;
extern T7*ms225_874;
extern T7*ms224_874;
extern T7*ms223_874;
extern T7*ms222_874;
extern T7*ms221_874;
extern T7*ms220_874;
extern T7*ms219_874;
extern T7*ms217_874;
extern T7*ms216_874;
extern T7*ms215_874;
extern T7*ms214_874;
extern T7*ms213_874;
extern T7*ms212_874;
extern T7*ms211_874;
extern T7*ms210_874;
extern T7*ms209_874;
extern T7*ms208_874;
extern T7*ms207_874;
extern T7*ms206_874;
extern T7*ms205_874;
extern T7*ms204_874;
extern T7*ms203_874;
extern T7*ms193_874;
extern T7*ms194_874;
extern T7*ms202_874;
extern T7*ms201_874;
extern T7*ms200_874;
extern T7*ms199_874;
extern T7*ms198_874;
extern T7*ms197_874;
extern T7*ms196_874;
extern T7*ms195_874;
extern T7*ms186_874;
extern T7*ms192_874;
extern T7*ms191_874;
extern T7*ms190_874;
extern T7*ms189_874;
extern T7*ms188_874;
extern T7*ms187_874;
extern T7*ms183_874;
extern T7*ms185_874;
extern T7*ms184_874;
extern T7*ms182_874;
extern T7*ms181_874;
extern T7*ms180_874;
extern T7*ms179_874;
extern T7*ms178_874;
extern T7*ms177_874;
extern T7*ms176_874;
extern T7*ms175_874;
extern T7*ms174_874;
extern T7*ms172_874;
extern T7*ms173_874;
extern T7*ms171_874;
extern T7*ms170_874;
extern T7*ms169_874;
extern T7*ms168_874;
extern T7*ms167_874;
extern T7*ms166_874;
extern T7*ms165_874;
extern T7*ms164_874;
extern T7*ms163_874;
extern T7*ms162_874;
extern T7*ms161_874;
extern T7*ms160_874;
extern T7*ms159_874;
extern T7*ms158_874;
extern T7*ms157_874;
extern T7*ms156_874;
extern T7*ms155_874;
extern T7*ms154_874;
extern T7*ms153_874;
extern T7*ms152_874;
extern T7*ms151_874;
extern T7*ms150_874;
extern T7*ms149_874;
extern T7*ms148_874;
extern T7*ms147_874;
extern T7*ms146_874;
extern T7*ms145_874;
extern T7*ms144_874;
extern T7*ms143_874;
extern T7*ms142_874;
extern T7*ms141_874;
extern T7*ms140_874;
extern T7*ms139_874;
extern T7*ms138_874;
extern T7*ms137_874;
extern T7*ms136_874;
extern T7*ms135_874;
extern T7*ms134_874;
extern T7*ms133_874;
extern T7*ms132_874;
extern T7*ms131_874;
extern T7*ms130_874;
extern T7*ms129_874;
extern T7*ms128_874;
extern T7*ms127_874;
extern T7*ms126_874;
extern T7*ms125_874;
extern T7*ms124_874;
extern T7*ms123_874;
extern T7*ms122_874;
extern T7*ms121_874;
extern T7*ms120_874;
extern T7*ms119_874;
extern T7*ms118_874;
extern T7*ms117_874;
extern T7*ms116_874;
extern T7*ms115_874;
extern T7*ms114_874;
extern T7*ms113_874;
extern T7*ms112_874;
extern T7*ms111_874;
extern T7*ms110_874;
extern T7*ms109_874;
extern T7*ms108_874;
extern T7*ms107_874;
extern T7*ms106_874;
extern T7*ms105_874;
extern T7*ms104_874;
extern T7*ms103_874;
extern T7*ms92_874;
extern T7*ms234_874;
extern T7*ms235_874;
extern T7*ms236_874;
extern T7*ms237_874;
extern T7*ms238_874;
extern T7*ms93_874;
extern T7*ms85_874;
extern T7*ms7_874;
extern T7*ms84_874;
extern T7*ms83_874;
extern T7*ms50_874;
extern T7*ms94_874;
extern T7*ms95_874;
extern T7*ms96_874;
extern T7*ms6_874;
extern T7*ms99_874;
extern T7*ms100_874;
extern T7*ms101_874;
extern T7*ms97_874;
extern T7*ms98_874;
extern T7*ms49_874;
extern T7*ms1_874;
void se_msi1(void);
void se_msi2(void);
void se_msi3(void);
void se_msi4(void);
void se_msi5(void);
void se_msi6(void);
void se_msi7(void);
void se_msi8(void);
void se_msi9(void);
void se_msi10(void);
void se_msi11(void);
void se_msi12(void);
void se_msi13(void);
T7*se_ms(int c,char*e);
T7*e2s(char*e);
char*s2e(T7*s);
void rsp(void);
void sigrsp(int sig);
void se_initialize(void);