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

/*
-- This file is  free  software, which  comes  along  with  SmallEiffel. This
-- software  is  distributed  in the hope that it will be useful, but WITHOUT 
-- ANY  WARRANTY;  without  even  the  implied warranty of MERCHANTABILITY or
-- FITNESS  FOR A PARTICULAR PURPOSE. You can modify it as you want, provided
-- this header is kept unaltered, and a notification of the changes is added.
-- You  are  allowed  to  redistribute  it and sell it, alone or as a part of 
-- another product.
--          Copyright (C) 1994-98 LORIA - UHP - CRIN - INRIA - FRANCE
--            Dominique COLNET and Suzanne COLLIN - colnet@loria.fr 
--                       http://SmallEiffel.loria.fr
--
*/
/*
  This file (SmallEiffel/sys/runtime/base.h) contains all basic Eiffel
  type definitions.
  This file is automatically included in the header for all modes of 
  compilation : -boost, -no_check, -require_check, -ensure_check, ...
  This file is also included in the header of any cecil file (when the
  -cecil option is used).
  This file is also included in the header file of C++ wrappers (when
  using the external "C++" clause).
*/
#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>
#ifdef WIN32
#include <windows.h>
#else
#ifndef O_RDONLY
#include <sys/file.h>
#endif
#ifndef O_RDONLY
#define O_RDONLY 0000
#endif
#endif

/* 
   On Linux glibc systems, we need to use sig.* versions of jmp_buf,
   setjmp and longjmp to preserve the signal handling context.
   Currently, the way I figured to detect this is if _SIGSET_H_types has
   been defined in /usr/include/setjmp.h.
*/
#ifdef _SIGSET_H_types
#define JMP_BUF    sigjmp_buf
#define SETJMP(x)  sigsetjmp( (x), 1)
#define LONGJMP    siglongjmp
#else
#define JMP_BUF    jmp_buf
#define SETJMP(x)  setjmp( (x) )
#define LONGJMP    longjmp
#endif

/* 
   Type to store reference objects Id :
 */
typedef int Tid;

typedef struct S0 T0;

struct S0{
  Tid id;
};

/* 
   The default channel used to print runtime error messages :
*/
#define SE_ERR stderr

/* 
   Eiffel type INTEGER is #2 :
*/
typedef int T2;
#define EIF_INTEGER T2
#define M2 (0)
#define EIF_INTEGER_BITS (CHAR_BIT*sizeof(int))
#define EIF_MINIMUM_INTEGER (INT_MIN)
#define EIF_MAXIMUM_INTEGER (INT_MAX)

/*
  Eiffel type CHARACTER is #3 :
*/
typedef unsigned char T3;
#define EIF_CHARACTER T3
#define M3 (0)
#define EIF_CHARACTER_BITS (CHAR_BIT)
#define EIF_MINIMUM_CHARACTER_CODE (0)
#define EIF_MAXIMUM_CHARACTER_CODE (255)
#define T3code(x) ((T2)(x))
#define T3to_integer(x) ((T2)((char)(x)))
#define T3to_bit(x) (x)

/*
  Eiffel type REAL is #4 :
*/
typedef float T4;
#define EIF_REAL T4
#define M4 (0.0)
#define EIF_REAL_BITS (CHAR_BIT*sizeof(float))
#define EIF_MINIMUM_REAL (-(FLT_MAX))
#define EIF_MAXIMUM_REAL (FLT_MAX)
#define T2toT4(x) ((T4)(x))

/*
  Eiffel type DOUBLE is #5 :
*/
typedef double T5;
#define EIF_DOUBLE T5
#define M5 (0.0)
#define EIF_DOUBLE_BITS (CHAR_BIT*sizeof(double))
#define EIF_MINIMUM_DOUBLE (-(DBL_MAX))
#define EIF_MAXIMUM_DOUBLE (DBL_MAX)
#define T2toT5(x) ((T5)(x))
#define T4toT5(x) ((T5)(x))

/*
  Eiffel type BOOLEAN is #6 :
*/
typedef char T6;
#define EIF_BOOLEAN T6
#define M6 (0)
#define EIF_BOOLEAN_BITS (CHAR_BIT)

/* 
   Eiffel type POINTER is #8 :
*/
typedef void* T8;
#define EIF_POINTER T8
#define M8 (NULL)
#define EIF_POINTER_BITS (CHAR_BIT*sizeof(void*))

/*
  To use type STRING on the C side :
*/
#define EIF_STRING T7*

/*
  Some Other EIF_* defined in ETL :
*/
#define eif_access(x) ((char*)(x))
#define EIF_REFERENCE T0*
#define EIF_OBJ T0*
#define EIF_OBJECT EIF_OBJ

/* --- Mangling Table Start ---
A*1  T27   R STD_OUTPUT 27
D    T21   R BOOLEAN_REF
A 1  T6    E BOOLEAN 6
A*1  T11   R INSTALL 11
D    T19   R INTEGER_REF
A 1  T2    E INTEGER 2
D    T26   R POINTER_REF
A 1  T8    E POINTER 8
A*1  T42   R STD_FILE_WRITE 42
A 1  T29   E BASIC_DIRECTORY 29
A*1  T30   R ECHO 30
A*1  T39   R RUN_CONTROL 39
A 1  T38   E NATIVE_ARRAY[STRING] 38
A 1  T34   R ARRAY[STRING] 34
A 1  T9    E NATIVE_ARRAY[CHARACTER] 9
A*1  T43   R SMALL_EIFFEL 43
A 1  T3    E CHARACTER 3
A 1  T45   R FIXED_ARRAY[STRING] 45
A*1  T41   R STD_ERROR 41
D    T22   R CHARACTER_REF
A*1  T24   R STD_INPUT 24
A*1  T33   R STD_FILE_READ 33
A*1  T32   R SYSTEM_TOOLS 32
A*1  T7    R STRING 7
A 1  T31   E FILE_TOOLS 31
D 2  T40   R COLLECTION[STRING] 45,34
 --- Mangling Table End --- */

/*C Header Pass 1 :*/
typedef void*T27;
typedef struct S11 T11;
typedef struct S42 T42;
typedef struct S29 T29;
typedef struct S30 T30;
typedef struct S39 T39;
typedef struct S7 T7;
typedef struct S34 T34;
typedef void*T43;
typedef struct S45 T45;
typedef void*T41;
typedef struct S24 T24;
typedef struct S33 T33;
typedef struct S32 T32;
typedef int T31;

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

/*C Header Pass 3 :*/
struct S29{T8 _directory_stream;T8 _current_entry;};
int se_cmpT29(T29 o1,T29 o2);

/*C Header Pass 4 :*/
extern T27 M27;
struct S11{T6 _interactive;T0* _system_se_path;T0* _small_eiffel_directory_path;T0* _system_name;T0* _compiler_se_path;T0* _garbage_collector_file_path;T0* _garbage_collector;T0* _c_compiler_name;T0* _bin_path;T0* _bin_c_path;T6 _bin_path_in_system_env_path;T29 _basic_directory;T0* _cwd;};
extern T11 M11;
struct S42{T0* _path;T8 _output_stream;};
extern T42 M42;
extern T29 M29;
struct S30{T6 _verbose;};
extern T30 M30;
struct S39{T0* _root_class;T0* _output_name;};
extern T39 M39;
struct S34{Tid id;T38 _storage;T2 _capacity;T2 _upper;T2 _lower;};
extern T34 M34;
extern T43 M43;
struct S45{Tid id;T38 _storage;T2 _capacity;T2 _upper;};
extern T45 M45;
extern T41 M41;
struct S24{T6 _push_back_flag;T2 _memory;};
extern T24 M24;
struct S33{T6 _push_back_flag;T0* _path;T8 _input_stream;T2 _memory;};
extern T33 M33;
struct S32{T0* _system_name;T0* _sys_directory;T0* _bin_directory;T0* _c_compiler;T6 _no_strip;};
extern T32 M32;
struct S7{T9 _storage;T2 _count;T2 _capacity;};
extern T7 M7;
extern T31 M31;
/*
-- This file is  free  software, which  comes  along  with  SmallEiffel. This
-- software  is  distributed  in the hope that it will be useful, but WITHOUT 
-- ANY  WARRANTY;  without  even  the  implied warranty of MERCHANTABILITY or
-- FITNESS  FOR A PARTICULAR PURPOSE. You can modify it as you want, provided
-- this header is kept unaltered, and a notification of the changes is added.
-- You  are  allowed  to  redistribute  it and sell it, alone or as a part of 
-- another product.
--          Copyright (C) 1994-98 LORIA - UHP - CRIN - INRIA - FRANCE
--            Dominique COLNET and Suzanne COLLIN - colnet@loria.fr 
--                       http://SmallEiffel.loria.fr
--
*/

/*
  This file (SmallEiffel/sys/runtime/boost.h) is automatically included when
  `run_control.boost' is true (ie. only for mode -boost).
*/
#define SE_BOOST 1
void se_print_run_time_stack (void);
void sigrsp(int sig);
/*
-- This file is  free  software, which  comes  along  with  SmallEiffel. This
-- software  is  distributed  in the hope that it will be useful, but WITHOUT 
-- ANY  WARRANTY;  without  even  the  implied warranty of MERCHANTABILITY or
-- FITNESS  FOR A PARTICULAR PURPOSE. You can modify it as you want, provided
-- this header is kept unaltered, and a notification of the changes is added.
-- You  are  allowed  to  redistribute  it and sell it, alone or as a part of 
-- another product.
--          Copyright (C) 1994-98 LORIA - UHP - CRIN - INRIA - FRANCE
--            Dominique COLNET and Suzanne COLLIN - colnet@loria.fr 
--                       http://SmallEiffel.loria.fr
--
*/
/*
  This file (SmallEiffel/sys/runtime/basic_directory.h) is automatically 
  included when some external "SmallEiffel" feature of class BASIC_DIRECTORY
  is live.
*/
#ifndef WIN32
#include <dirent.h>
#endif
#ifndef WIN32
#include <unistd.h>
#endif

EIF_POINTER basic_directory_open(EIF_POINTER path);
EIF_POINTER basic_directory_read_entry(EIF_POINTER dirstream);
EIF_POINTER basic_directory_get_entry_name(EIF_POINTER entry);
EIF_BOOLEAN basic_directory_close(EIF_POINTER dirstream);
EIF_POINTER basic_directory_current_working_directory(void);
EIF_BOOLEAN basic_directory_chdir(EIF_POINTER destination);
EIF_BOOLEAN basic_directory_mkdir(EIF_POINTER directory_path);
EIF_BOOLEAN basic_directory_rmdir(EIF_POINTER directory_path);
T6 r6_ix_not(T6 C);
T3 r2digit(T2 C);
void r2append_in(T2 C,T0* a1);
T6 r8is_null(T8 C);
T3 r3to_lower(T3 C);
T6 r3is_separator(T3 C);
T3 r3to_upper(T3 C);
T38 r38realloc(T38 C,T2 a1,T2 a2);
T6 r38equal_like(T0* a1,T0* a2);
void r38copy_from(T38 C,T38 a1,T2 a2);
void r38set_all_with(T38 C,T0* a1,T2 a2);
T2 r38index_of(T38 C,T0* a1,T2 a2);
T9 r9realloc(T9 C,T2 a1,T2 a2);
T6 r9fast_memcmp(T9 C,T9 a1,T2 a2);
void r9copy_from(T9 C,T9 a1,T2 a2);
T6 r9fast_has(T9 C,T3 a1,T2 a2);
void r9copy_at(T9 C,T2 a1,T9 a2,T2 a3);
T2 r9fast_index_of(T9 C,T3 a1,T2 a2);
T6 r7is_equal(T7* C,T0* a1);
T3 r7last(T7* C);
extern T0*oBC7tmp_string;
T8 r7to_external(T7* C);
void r7swap(T7* C,T2 a1,T2 a2);
void r7copy(T7* C,T0* a1);
extern T0*oBC7split_buffer;
void r7extend_unless(T7* C,T3 a1);
T2 r7index_of(T7* C,T3 a1);
T0* r7twin(T7* C);
void r7append(T7* C,T0* a1);
T0* r7split(T7* C);
void r7add_last(T7* C,T3 a1);
void r7to_lower(T7* C);
void r7remove_first(T7* C,T2 a1);
void r7remove_between(T7* C,T2 a1,T2 a2);
void r7make(T7* C,T2 a1);
T6 r7has_prefix(T7* C,T0* a1);
T0* r7substring(T7* C,T2 a1,T2 a2);
void r7remove_last(T7* C,T2 a1);
void r7split_in(T7* C,T0* a1);
void r7extend(T7* C,T3 a1);
T6 r7has_suffix(T7* C,T0* a1);
T6 r7has(T7* C,T3 a1);
void r7to_upper(T7* C);
void r7from_external_copy(T7* C,T8 a1);
void r34add_last(T34* C,T0* a1);
void r34with_capacity(T34* C,T2 a1,T2 a2);
void r34clear(T34* C);
T6 r34empty(T34* C);
void r34copy(T34* C,T0* a1);
T2 r34index_of(T34* C,T0* a1);
T0* r34twin(T34* C);
T2 r34count(T34* C);
T0* r34item(T34* C,T2 a1);
void r45add_last(T45* C,T0* a1);
void r45make(T45* C,T2 a1);
void r27put_string(T27* C,T0* a1);
void r42disconnect(T42* C);
void r42put_string(T42* C,T0* a1);
void r42connect_to(T42* C,T0* a1);
extern T31 oBC1file_tools;
void r30put_string(T30* C,T0* a1);
void r30sfr_connect_or_exit(T30* C,T0* a1,T0* a2);
void r30sfr_connect(T30* C,T0* a1,T0* a2);
T0* r30read_word_in(T30* C,T0* a1);
void r30w_put_string(T0* a1);
void r30system(T0* a1);
void r30call_system(T30* C,T0* a1);
T6 r30file_exists(T0* a1);
void r30file_renaming(T30* C,T0* a1,T0* a2);
void r30file_removing(T30* C,T0* a1);
void r30w_put_character(T3 a1);
extern T0*oBC1std_error;
extern T0*oBC1std_output;
void r30sfw_connect(T30* C,T0* a1,T0* a2);
void r41put_string(T41* C,T0* a1);
T6 r24end_of_input(T24* C);
extern T0*oBC25last_string;
void r24read_character(T24* C);
void r24read_word(T24* C);
void r24skip_separators(T24* C);
void r33disconnect(T33* C);
void r33read_line_in(T33* C,T0* a1);
T6 r33end_of_input(T33* C);
void r33read_character(T33* C);
void r33read_line(T33* C);
void r33read_word(T33* C);
void r33connect_to(T33* C,T0* a1);
void r33skip_separators(T33* C);
void r32add_x_suffix(T32* C,T0* a1);
void r32split_mode_c_compiler_command(T32* C,T0* a1,T0* a2);
extern T0*oBC13tmp_file_read;
extern T0*oBC32compiler_list;
extern T0*oBC32object_suffix;
extern int fBC32object_suffix;
T0* r32object_suffix(T32* C);
void r32make(T32* C);
void r32external_c_files_for_lcc_win32(T32* C,T0* a1);
extern T0*oBC13echo;
extern T0*oBC13run_control;
void r32set_c_compiler(T32* C,T0* a1);
extern T6 oBC32Scoptions_exists;
extern int fBC32Scoptions_exists;
T6 r32Scoptions_exists(void);
extern T0*oBC32x_suffix;
extern int fBC32x_suffix;
T0* r32x_suffix(T32* C);
void r32show_compiler_list_then_exit(T32* C);
void r32no_split_mode_command(T32* C,T0* a1,T0* a2);
extern int fBC32add_lib_math;
void r32add_lib_math(T32* C);
void r32add_objects(T32* C,T0* a1,T0* a2,T2 a3);
extern T0*oBC13tmp_path;
T6 r32backslash_separator(T32* C);
T0* r32get_environment_variable(T32* C,T0* a1);
void r32install_extra_options(T32* C);
T0* r32sas_c_compiler_options(T6 a1);
extern T0*oBC32system_list;
void r32add_output_name(T32* C,T0* a1);
T6 r32slash_separator(T32* C);
void r32append_token(T0* a1,T0* a2);
void r32add_directory(T32* C,T0* a1,T0* a2);
void r32parent_directory(T32* C,T0* a1);
void r32split_mode_linker_command(T32* C,T0* a1,T0* a2,T2 a3);
void r11restore_current_working_directory(T11* C);
void r11set_small_eiffel_directory_path(T11* C);
void r11set_garbage_collector_file_path(T11* C);
void r11write_default_loadpath_se_file(T11* C);
void r11system(T0* a1);
void r11set_system_se_path(T11* C);
void r11split_mode_c_compile(T11* C,T0* a1);
void r11set_bin_c_path(T11* C);
void r11fatal_problem_description_end(T11* C);
extern T0*oBC13small_eiffel;
void r11make(T11* C);
extern T0*oBC11command;
T0* r11choice_in(T0* a1,T0* a2);
void r11set_system_name(T11* C);
void r11sfw_check_is_connected(T11* C,T0* a1);
void r11set_bin_path(T11* C);
T0* r11argument(T2 a1);
extern T0*oBC11sfr;
void r11move_executable_for(T11* C,T0* a1);
void r11garbage_collector_selection(T11* C);
extern T0*oBC11splitted_command_list;
extern T0*oBC11sfw;
void r11no_split_mode_c_compile(T11* C,T0* a1);
void r11c_compile_no_split_command_list(T11* C);
void r11c_compile_splitted_command_list(T11* C);
void r11compute_bin_path_in_system_env_path(T11* C);
void r11set_compiler_se_path(T11* C);
T0* r11get_environment_variable(T11* C,T0* a1);
void r11clean_bin_c_path(T11* C);
extern T0*oBC1command_arguments;
extern int fBC1command_arguments;
T0* r11command_arguments(void);
void r11prepare_bin_c_directory(T11* C);
void r11call_clean(T11* C,T0* a1);
T6 r11file_exists(T0* a1);
extern T0*oBC11system_tools;
void r11echo_usage_exit(T11* C);
extern T0*oBC11no_split_command_list;
extern T0*oBC1std_input;
void r11call_compile_to_c(T11* C,T0* a1,T0* a2);
void r11set_c_compiler_name(T11* C);
T6 r29system_notation_detected(void);
void r29disconnect(T29* C);
extern T0*oBC29last_entry;
T6 r29file_exists(T0* a1);
T6 r29windows_like_notation(void);
void r29connect_to_current_working_directory(T29* C);
T6 r29vms_like_notation(void);
void r29change_current_working_directory(T29* C,T0* a1);
void r29compute_parent_directory_of(T29* C,T0* a1);
T6 r29macintosh_like_notation(void);
T6 r29amiga_like_notation(void);
void r29compute_subdirectory_with(T29* C,T0* a1,T0* a2);
void r29try_to_compute_notation(T0* a1);
T6 r29unix_like_notation(void);
void r29read_entry(T29* C);
void r29compute_file_path_with(T29* C,T0* a1,T0* a2);
void r29connect_to(T29* C,T0* a1);
T6 r29create_new_directory(T29* C,T0* a1);
T6 r31is_readable(T0* a1);
void r31rename_to(int C,T0* a1,T0* a2);
T6 r31file_exists(T0* a1);
extern T0*oBC31std_fr1;
void r31delete(int C,T0* a1);
extern T11*eiffel_root_object;
extern int se_argc;
extern char**se_argv;
#define SE_MAXID 46
void initialize_eiffel_runtime(int argc,char*argv[]);
extern T7*ms11_270aaaaaa;
extern T7*ms11_20688aaaa;
extern T7*ms32_0aaaaaaaa;
extern T7*ms11_1037338;
extern T7*ms11_3736a;
extern T7*ms11_2395a;
extern T7*ms11_1316a;
extern T7*ms11_9724a;
extern T7*ms11_1053a;
extern T7*ms11_6539a;
extern T7*ms11_1296a;
extern T7*ms11_9471a;
extern T7*ms11_1204a;
extern T7*ms11_9226a;
extern T7*ms11_270aa;
extern T7*ms11_8280a;
extern T7*ms11_10aaa;
extern T7*ms11_2575a;
extern T7*ms32_248aa;
extern T7*ms32_522aa;
extern T7*ms32_0aaaa;
extern T7*ms11_270aaaaaaaaaa;
extern T7*ms11_270aaaaaaaaaaaaa;
extern T7*ms11_270aaaaaaa;
extern T7*ms11_20688aaaaa;
extern T7*ms11_74320a;
extern T7*ms11_59766a;
extern T7*ms11_19650a;
extern T7*ms11_1316aa;
extern T7*ms11_2395aa;
extern T7*ms11_9724aa;
extern T7*ms11_1053aa;
extern T7*ms11_12816a;
extern T7*ms11_12924a;
extern T7*ms11_9226aa;
extern T7*ms11_1296aa;
extern T7*ms11_18190a;
extern T7*ms11_10aaaa;
extern T7*ms11_270aaa;
extern T7*ms11_86400a;
extern T7*ms11_8280aa;
extern T7*ms11_22971a;
extern T7*ms11_2575aa;
extern T7*ms11_20688a;
extern T7*ms32_522aaa;
extern T7*ms32_0aaaaa;
extern T7*ms32_0;
extern T7*ms11_10;
extern T7*ms11_34;
extern T7*ms29_63;
extern T7*ms29_46;
extern T7*ms11_270aaaaaaaaaaa;
extern T7*ms11_690;
extern T7*ms11_290;
extern T7*ms11_270;
extern T7*ms11_880;
extern T7*ms13_290;
extern T7*ms14_160;
extern T7*ms32_210;
extern T7*ms32_270;
extern T7*ms32_320;
extern T7*ms32_690;
extern T7*ms14_270;
extern T7*ms11_651;
extern T7*ms32_891;
extern T7*ms11_152;
extern T7*ms32_522;
extern T7*ms32_292;
extern T7*ms32_312;
extern T7*ms11_903;
extern T7*ms32_903;
extern T7*ms11_524;
extern T7*ms11_444;
extern T7*ms11_404;
extern T7*ms11_10aaaaa;
extern T7*ms11_9226aaa;
extern T7*ms11_1296aaa;
extern T7*ms11_12924aa;
extern T7*ms11_270aaaa;
extern T7*ms11_20688aa;
extern T7*ms32_434;
extern T7*ms32_894;
extern T7*ms32_414;
extern T7*ms32_314;
extern T7*ms32_0aaaaaa;
extern T7*ms11_315;
extern T7*ms29_184;
extern T7*ms11_136;
extern T7*ms11_636;
extern T7*ms32_786;
extern T7*ms32_396;
extern T7*ms32_636;
extern T7*ms11_738;
extern T7*ms11_528;
extern T7*ms11_270aaaaaaaa;
extern T7*ms29_687;
extern T7*ms11_20688aaaaaa;
extern T7*ms32_248;
extern T7*ms32_288;
extern T7*ms32_918;
extern T7*ms32_428;
extern T7*ms32_738;
extern T7*ms11_270aaaaaaaaaaaaaa;
extern T7*ms11_309;
extern T7*ms11_939;
extern T7*ms29_368;
extern T7*ms14_939;
extern T7*ms11_8440;
extern T7*ms11_5390;
extern T7*ms11_2800;
extern T7*ms11_7710;
extern T7*ms11_8280;
extern T7*ms30_8390;
extern T7*ms30_8610;
extern T7*ms14_3720;
extern T7*ms32_1620;
extern T7*ms32_8280;
extern T7*ms32_0a;
extern T7*ms11_8771;
extern T7*ms11_9471;
extern T7*ms11_8701;
extern T7*ms32_5481;
extern T7*ms11_6312;
extern T7*ms11_6762;
extern T7*ms11_7212;
extern T7*ms32_1592;
extern T7*ms32_6162;
extern T7*ms32_4542;
extern T7*ms32_1472;
extern T7*ms11_9093;
extern T7*ms11_1053;
extern T7*ms14_1053;
extern T7*ms11_6474;
extern T7*ms11_2424;
extern T7*ms11_8484;
extern T7*ms11_9744;
extern T7*ms11_8734;
extern T7*ms11_9724;
extern T7*ms11_1204;
extern T7*ms30_3084;
extern T7*ms32_1444;
extern T7*ms11_2395;
extern T7*ms11_2535;
extern T7*ms11_2575;
extern T7*ms29_8484;
extern T7*ms32_8225;
extern T7*ms32_2395;
extern T7*ms32_2745;
extern T7*ms32_1985;
extern T7*ms11_1316;
extern T7*ms11_3736;
extern T7*ms11_1296;
extern T7*ms11_7056;
extern T7*ms11_4476;
extern T7*ms11_9226;
extern T7*ms32_1296;
extern T7*ms32_5376;
extern T7*ms32_3786;
extern T7*ms32_6726;
extern T7*ms32_1316;
extern T7*ms32_6996;
extern T7*ms32_1036;
extern T7*ms32_1656;
extern T7*ms32_9226;
extern T7*ms11_8547;
extern T7*ms30_7497;
extern T7*ms11_8478;
extern T7*ms30_3688;
extern T7*ms32_7358;
extern T7*ms32_4488;
extern T7*ms11_6539;
extern T7*ms11_6929;
extern T7*ms30_6929;
extern T7*ms11_24020;
extern T7*ms11_41760;
extern T7*ms11_38940;
extern T7*ms11_74320;
extern T7*ms11_19650;
extern T7*ms11_10010;
extern T7*ms11_24610;
extern T7*ms11_16100;
extern T7*ms11_16560;
extern T7*ms11_12780;
extern T7*ms11_14140;
extern T7*ms11_11950;
extern T7*ms11_18190;
extern T7*ms11_14200;
extern T7*ms11_52360;
extern T7*ms11_14880;
extern T7*ms11_86400;
extern T7*ms11_11180;
extern T7*ms11_34230;
extern T7*ms11_25960;
extern T7*ms11_18460;
extern T7*ms32_10010;
extern T7*ms32_15200;
extern T7*ms32_24570;
extern T7*ms32_10260;
extern T7*ms11_40581;
extern T7*ms11_22971;
extern T7*ms32_12311;
extern T7*ms32_43761;
extern T7*ms11_26592;
extern T7*ms11_41742;
extern T7*ms11_54582;
extern T7*ms11_77572;
extern T7*ms11_31392;
extern T7*ms11_38232;
extern T7*ms11_38272;
extern T7*ms32_44612;
extern T7*ms32_29002;
extern T7*ms32_58212;
extern T7*ms29_41742;
extern T7*ms11_13293;
extern T7*ms11_22243;
extern T7*ms11_11583;
extern T7*ms14_18623;
extern T7*ms14_13293;
extern T7*ms32_17413;
extern T7*ms11_45984;
extern T7*ms11_23954;
extern T7*ms11_11784;
extern T7*ms11_18144;
extern T7*ms11_12924;
extern T7*ms11_72404;
extern T7*ms11_85184;
extern T7*ms30_12714;
extern T7*ms32_25014;
extern T7*ms32_30704;
extern T7*ms32_22824;
extern T7*ms32_12924;
extern T7*ms32_44604;
extern T7*ms11_15825;
extern T7*ms11_83325;
extern T7*ms11_16235;
extern T7*ms11_14655;
extern T7*ms11_25265;
extern T7*ms32_20265;
extern T7*ms11_9226aaaa;
extern T7*ms11_1296aaaa;
extern T7*ms11_270aaaaa;
extern T7*ms11_20688aaa;
extern T7*ms11_10a;
extern T7*ms29_24405;
extern T7*ms32_0aaaaaaa;
extern T7*ms32_0aa;
extern T7*ms11_45976;
extern T7*ms11_59766;
extern T7*ms11_71136;
extern T7*ms11_26236;
extern T7*ms11_12816;
extern T7*ms11_14036;
extern T7*ms11_37376;
extern T7*ms11_38556;
extern T7*ms30_72306;
extern T7*ms32_18846;
extern T7*ms32_12816;
extern T7*ms32_13776;
extern T7*ms32_60346;
extern T7*ms29_46a;
extern T7*ms11_32677;
extern T7*ms11_18117;
extern T7*ms32_18117;
extern T7*ms32_48887;
extern T7*ms11_20268;
extern T7*ms11_17618;
extern T7*ms11_29478;
extern T7*ms11_22548;
extern T7*ms11_24598;
extern T7*ms11_23738;
extern T7*ms11_19998;
extern T7*ms11_28868;
extern T7*ms11_20688;
extern T7*ms30_26208;
extern T7*ms32_28368;
extern T7*ms32_44388;
extern T7*ms11_48329;
extern T7*ms11_21679;
extern T7*ms11_21219;
extern T7*ms30_21679;
extern T7*ms30_25179;
extern T7*ms32_31119;
extern T7*ms11_270aaaaaaaaaaaa;
extern T7*ms11_348270;
extern T7*ms11_102240;
extern T7*ms11_193500;
extern T7*ms32_130240;
extern T7*ms11_270aaaaaaaaa;
extern T7*ms11_20688aaaaaaa;
extern T7*ms11_181902;
extern T7*ms11_529542;
extern T7*ms32_716872;
extern T7*ms43_802392;
extern T7*ms11_118404;
extern T7*ms11_711114;
extern T7*ms32_147254;
extern T7*ms11_627376;
extern T7*ms32_131716;
extern T7*ms32_848426;
extern T7*ms11_143898;
extern T7*ms32_225848;
extern T7*ms11_636a;
extern T7*ms11_738a;
extern T7*ms11_309a;
extern T7*ms11_444a;
extern T7*ms11_690a;
extern T7*ms11_290a;
extern T7*ms11_10aa;
extern T7*ms11_270a;
extern T7*ms32_248a;
extern T7*ms32_522a;
extern T7*ms32_320a;
extern T7*ms32_0aaa;
extern T7*ms29_184a;
extern T7*ms11_270aaaaaaaaaaaaaaa;
T7*se_ms(int c,char*e);
T7*se_string_from_external_copy(char*e);
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_ma34(int argc,...);
void X40add_last(T0*C,T0* a1);

