/* ANSI C code generated by SmallEiffel. */
/*
-- SmallEiffel  -- Release (- 0.84)    --      FRANCE
-- Copyright (C), 1994 - Dominique COLNET and Suzanne COLLIN 
-- University Henri Poincare' - Nancy 1 - email colnet@loria.fr 
-- CRIN (Centre de Recherche en Informatique de Nancy)
-- FRANCE 
*/
#include <stdio.h>
#include <string.h>
#include <stdlib.h>
#include <signal.h>
#include <stddef.h>
#include <stdarg.h>
#include <limits.h>
#include <float.h>
typedef struct sT0 T0;
struct sT0{int id;};
typedef struct sTta Tta;
struct sTta{int id;T0**_storage;int _capacity;int _upper;int _lower;};
typedef struct sTua Tua;
struct sTua{T0**_storage;int _capacity;int _upper;int _lower;};
#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
extern char tag_pos_1[];
extern char tag_pos_2[];
extern char tag_pos_3[];
extern char tag_pos_4[];
extern char tag_pos_5[];
extern char tag_pos_6[];
extern char Current[];
extern char Result[];
extern double*rs_bot;
extern double*rs;
extern double*rs_lb;
extern double*rs_top;
void se_rsg(int sz);
void rs_link(char*tag);
void rs_unlink(void);
void rs_pPOS(char* tp,int l,int c,int f);
int rs_pop_int(int e);
void rs_pINT(int*i,char*n);
void rs_pCHA(char*c,char*n);
void rs_pBOO(int*b,char*n);
void rs_pREA(float*r,char*n);
void rs_pDOU(double*d,char*n);
void rs_pPOI(void*p,char*n);
void rs_pBIT(void*p,char*n);
void rs_pREF(void**r,char*n);
void rs_pEXP(void*e,char*n);
extern int se_af;
extern int se_rspf;
extern int se_af_rlc;
extern int se_af_rlr;
void ac_req(int v);
void ac_ens(int v);
void ac_inv(int v);
int se_rciaux(double* sp);
int se_rci(void*C);
void ac_liv(int v);
int lvc(int lc,int lv1,int lv2);
void ac_civ(int v);

/* --- Mangling Table Start ---
A 1  T7    R STRING 7
A 1  T2    E INTEGER 2
A 1  T6    E BOOLEAN 6
A 2  T830  R STD_OUTPUT 830,704
A 1  T359  R EXAMPLE1 359
D 2  T817  R OUTPUT_STREAM 704,830
A 1  T479  R BOOLEAN_REF 479
A 1  T3    E CHARACTER 3
A 1  T5    E DOUBLE 5
A 1  T831  R CHARACTER_REF 831
A 1  T510  E NATIVE_ARRAY[CHARACTER] 510
D 7  T1    R GENERAL 509,704,831,479,359,830,7
A 1  T704  R STD_INPUT_OUTPUT 704
D 7  T243  R ANY 830,509,704,831,479,359,7
A 1  T509  R INTEGER_REF 509
A 1  T4    E REAL 4
A 1  T8    E POINTER 8
 --- Mangling Table End --- */
typedef struct sT7 T7;
typedef int T2;
typedef int T6;
typedef struct sT830 T830;
typedef struct sT359 T359;
typedef struct sT479 T479;
typedef char T3;
typedef double T5;
typedef struct sT831 T831;
typedef T3* T510;
typedef struct sT704 T704;
typedef struct sT509 T509;
typedef float T4;
typedef void * T8;
struct sT7{int id;int _count;int _capacity;T510 _storage;};
struct sT830{int id;};
struct sT359{int id;};
struct sT479{int id;int _item;};
struct sT831{int id;char _item;};
struct sT704{int id;};
struct sT509{int id;int _item;};
void rT2append_in(int C,T0* a1);
extern int ofBC1tagged_out_memory;
extern T0*oRBC1tagged_out_memory;
T0* rT2tagged_out_memory(/*C*/void);
void rT2fill_tagged_out_memory(int C);
int rT2is_equal(int C,int a1);
int rT2valid_divisor(/*C*/int a1);
char rT2digit(int C);
T0* rT6to_string(int C);
T0* rT6tagged_out_memory(/*C*/void);
void rT6fill_tagged_out_memory(int C);
int rT6_px_or(int C,int a1);
int rT6_px_and(int C,int a1);
int rT6_ix_not(int C);
int rT3_px_60(char C,char a1);
T0* rT3tagged_out_memory(/*C*/void);
void rT3fill_tagged_out_memory(char C);
int rT3is_equal(char C,char a1);
int rT3value(char C);
int rT3_px_6061(char C,char a1);
int rT3is_digit(char C);
void rT5append_in(double C,T0* a1);
void rT5append_in_format(double C,T0* a1,int a2);
extern int ofBC5tmp_native_array;
extern T510 oRBC5tmp_native_array;
T510 rT5tmp_native_array(/*C*/void);
void rT4append_in(float C,T0* a1);
void rT8append_in(void* C,T0* a1);
extern int ofBC8tmp_native_array;
extern T510 oRBC8tmp_native_array;
T510 rT8tmp_native_array(/*C*/void);
int rT510is_not_void(T510 C);
int rT510fast_index_of(T510 C,char a1,int a2);
void rT510copy_from(T510 C,T510 a1,int a2);
T510 rT510realloc(T510 C,int a1,int a2);
void rT7out_in_tagged_out_memory(T7* C);
void rT7extend(T7* C,char a1);
void rT7make(T7* C,int a1);
extern T0*oRBC1std_output;
T0* rT7tagged_out_memory(/*C*/void);
char rT7item(T7* C,int a1);
void rT7clear(T7* C);
void rT7fill_tagged_out_memory(T7* C);
void rT7print_on(T7* C,T0* a1);
void rT7swap(T7* C,int a1,int a2);
int rT7has(T7* C,char a1);
void rT7put(T7* C,char a1,int a2);
int rT7valid_index(T7* C,int a1);
int rT7index_of(T7* C,char a1);
void rT7print(/*C*/T0* a1);
void rT7append(T7* C,T0* a1);
T7 *ivT7(T7 *C);
void rT830out_in_tagged_out_memory(T830* C);
void rT830make(/*C*/void);
T0* rT830tagged_out_memory(/*C*/void);
void rT830fill_tagged_out_memory(/*C*/void);
void rT830print_on(T830* C,T0* a1);
void rT830put_string(T830* C,T0* a1);
void rT830put_character(T830* C,char a1);
void rT830print(/*C*/T0* a1);
extern T0*oRBC1io;
void rT359out_in_tagged_out_memory(T359* C);
void rT359make(/*C*/void);