/*
-- 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 "compile_to_c.h"
/*No:TMP_FEATURE.arguments*/
T0* r505n(void){
T0* R=NULL;
{T953*n=malloc(sizeof(*n));
*n=M953;
r953make(n,r855twin(((T855*)(oBC505names))));
R=(T0*)n;
}
return R;
}
T0* r505to_cst_att_integer(T505* C,T0* a1){
T0* R=NULL;
/*IF*/if (((((T505*)C))->_type/*4*/)!=((void*)(NULL))) {
/*IF*/if (X291is_integer((((T505*)C))->_type/*4*/)) {
{T689*n=malloc(sizeof(*n));
*n=M689;
r689make(n,r505n(),(((T505*)C))->_type/*4*/,a1);
R=(T0*)n;
}
}
 else if (X291is_real((((T505*)C))->_type/*4*/)) {
{T835*n=malloc(sizeof(*n));
*n=M835;
r835make(n,r505n(),(((T505*)C))->_type/*4*/,r342to_real_constant(((T342*)a1)));
R=(T0*)n;
}
}
 else if (X291is_double((((T505*)C))->_type/*4*/)) {
{T118*n=malloc(sizeof(*n));
*n=M118;
r118make(n,r505n(),(((T505*)C))->_type/*4*/,r342to_real_constant(((T342*)a1)));
R=(T0*)n;
}
}
else {
r505error(X776start_position(r855first(((T855*)(oBC505names)))),((T0*)ms6_505));
}
/*FI*/}
else {
r505error(X776start_position(r855first(((T855*)(oBC505names)))),((T0*)ms7_505));
}
/*FI*/return R;
}
/*No:TMP_FEATURE.add_synonym*/
/*No:TMP_FEATURE.set_type*/
T0* r505to_writable_attribute(T505* C){
T0* R=NULL;
/*IF*/if (((((T505*)C))->_type/*4*/)==((void*)(NULL))) {
r505error(X776start_position(r855first(((T855*)(oBC505names)))),((T0*)ms1_505));
}
 else if (((((T505*)C))->_arguments/*0*/)!=((void*)(NULL))) {
r505error(r818current_position(((T818*)(oBC364eiffel_parser))),((T0*)ms2_505));
}
/*FI*/{T106*n=malloc(sizeof(*n));
*n=M106;
r106make(n,r505n(),(((T505*)C))->_type/*4*/);
R=(T0*)n;
}
return R;
}
T0* r505to_cst_att_boolean(T505* C,T0* a1){
T0* R=NULL;
/*IF*/if ((((((T505*)C))->_type/*4*/)!=((void*)(NULL)))&&(X291is_boolean((((T505*)C))->_type/*4*/))) {
{T580*n=malloc(sizeof(*n));
*n=M580;
r580make(n,r505n(),(((T505*)C))->_type/*4*/,a1);
R=(T0*)n;
}
}
else {
r505error(X776start_position(r855first(((T855*)(oBC505names)))),((T0*)ms3_505));
}
/*FI*/return R;
}
/*No:TMP_FEATURE.type*/
/*No:TMP_FEATURE.local_vars*/
/*No:TMP_FEATURE.set_header_comment*/
void r505set_require(T505* C,T0* a1,T0* a2,T0* a3){
/*IF*/if (((a2)!=((void*)(NULL)))||((a3)!=((void*)(NULL)))) {
{T343*n=malloc(sizeof(*n));
*n=M343;
r343make(n,a1,a2,a3);
C->_require_assertion=(T0*)n;
}
}
/*FI*/}
/*No:TMP_FEATURE.set_local_vars*/
T0* r505to_deferred_routine(T505* C){
T0* R=NULL;
/*IF*/if (((((T505*)C))->_type/*4*/)==((void*)(NULL))) {
{T853*n=malloc(sizeof(*n));
*n=M853;
/*[IRF3.6make*/{T853* C1=n;
T0* b1=r505n();
T0* b2=(((T505*)C))->_arguments/*0*/;
T0* b3=(((T505*)C))->_obsolete_mark/*12*/;
T0* b4=(((T505*)C))->_header_comment/*8*/;
T0* b5=(((T505*)C))->_require_assertion/*16*/;
r853make_routine(C1,b1,b2,b3,b4,b5);
}/*]*/
R=(T0*)n;
}
}
else {
{T649*n=malloc(sizeof(*n));
*n=M649;
r649make(n,r505n(),(((T505*)C))->_arguments/*0*/,(((T505*)C))->_type/*4*/,(((T505*)C))->_obsolete_mark/*12*/,(((T505*)C))->_header_comment/*8*/,(((T505*)C))->_require_assertion/*16*/);
R=(T0*)n;
}
}
/*FI*/return R;
}
T0* r505to_procedure_or_function(T505* C){
T0* R=NULL;
/*IF*/if (((((T505*)C))->_type/*4*/)==((void*)(NULL))) {
{T297*n=malloc(sizeof(*n));
*n=M297;
r297make(n,r505n(),(((T505*)C))->_arguments/*0*/,(((T505*)C))->_obsolete_mark/*12*/,(((T505*)C))->_header_comment/*8*/,(((T505*)C))->_require_assertion/*16*/,(((T505*)C))->_local_vars/*20*/,(((T505*)C))->_routine_body/*24*/);
R=(T0*)n;
}
}
else {
{T696*n=malloc(sizeof(*n));
*n=M696;
r696make(n,r505n(),(((T505*)C))->_arguments/*0*/,(((T505*)C))->_type/*4*/,(((T505*)C))->_obsolete_mark/*12*/,(((T505*)C))->_header_comment/*8*/,(((T505*)C))->_require_assertion/*16*/,(((T505*)C))->_local_vars/*20*/,(((T505*)C))->_routine_body/*24*/);
R=(T0*)n;
}
}
/*FI*/return R;
}
/*No:TMP_FEATURE.obsolete_mark*/
/*No:TMP_FEATURE.require_assertion*/
T0*oBC505names=NULL;
T0* r505to_cst_att_real(T505* C,T0* a1){
T0* R=NULL;
/*IF*/if (((((T505*)C))->_type/*4*/)!=((void*)(NULL))) {
/*IF*/if (X291is_real((((T505*)C))->_type/*4*/)) {
{T835*n=malloc(sizeof(*n));
*n=M835;
r835make(n,r505n(),(((T505*)C))->_type/*4*/,a1);
R=(T0*)n;
}
}
 else if (X291is_double((((T505*)C))->_type/*4*/)) {
{T118*n=malloc(sizeof(*n));
*n=M118;
r118make(n,r505n(),(((T505*)C))->_type/*4*/,a1);
R=(T0*)n;
}
}
else {
r683add_position((((T936*)((T936*)a1)))->_start_position/*12*/);
r683add_position(X776start_position(r855first(((T855*)(oBC505names)))));
/*[IRF3.6fatal_error*/{T0* b1=((T0*)ms8_505);
r683fatal_error(((T683*)(oBC364eh)),b1);
}/*]*/
}
/*FI*/}
else {
r505error(X776start_position(r855first(((T855*)(oBC505names)))),((T0*)ms9_505));
}
/*FI*/return R;
}
/*No:TMP_FEATURE.set_arguments*/
T0* r505to_cst_att_string(T505* C,T0* a1){
T0* R=NULL;
/*IF*/if ((((((T505*)C))->_type/*4*/)!=((void*)(NULL)))&&(X291is_string((((T505*)C))->_type/*4*/))) {
{T380*n=malloc(sizeof(*n));
*n=M380;
r380make(n,r505n(),(((T505*)C))->_type/*4*/,a1);
R=(T0*)n;
}
}
else {
r505error(X776start_position(r855first(((T855*)(oBC505names)))),((T0*)ms10_505));
}
/*FI*/return R;
}
/*No:TMP_FEATURE.header_comment*/
/*No:TMP_FEATURE.set_routine_body*/
/*No:TMP_FEATURE.routine_body*/
T0* r505to_external_routine(T505* C,T0* a1,T0* a2){
T0* R=NULL;
/*IF*/if (((((T505*)C))->_type/*4*/)==((void*)(NULL))) {
{T883*n=malloc(sizeof(*n));
*n=M883;
r883make(n,r505n(),(((T505*)C))->_arguments/*0*/,(((T505*)C))->_obsolete_mark/*12*/,(((T505*)C))->_header_comment/*8*/,(((T505*)C))->_require_assertion/*16*/,a1,a2);
R=(T0*)n;
}
}
else {
{T679*n=malloc(sizeof(*n));
*n=M679;
r679make(n,r505n(),(((T505*)C))->_arguments/*0*/,(((T505*)C))->_type/*4*/,(((T505*)C))->_obsolete_mark/*12*/,(((T505*)C))->_header_comment/*8*/,(((T505*)C))->_require_assertion/*16*/,a1,a2);
R=(T0*)n;
}
}
/*FI*/return R;
}
T0* r505to_cst_att_unique(T505* C){
T0* R=NULL;
T0* _sp=NULL;
/*IF*/if (((((T505*)C))->_type/*4*/)==((void*)(NULL))) {
_sp=X776start_position(r855first(((T855*)(oBC505names))));
r505error(_sp,((T0*)ms11_505));
}
/*FI*//*IF*/if (!(X291is_integer((((T505*)C))->_type/*4*/))) {
r505error(X291start_position((((T505*)C))->_type/*4*/),((T0*)ms12_505));
}
/*FI*/{T398*n=malloc(sizeof(*n));
*n=M398;
r398make(n,r505n(),(((T505*)C))->_type/*4*/);
R=(T0*)n;
}
return R;
}
T0* r505to_cst_att_character(T505* C,T0* a1){
T0* R=NULL;
/*IF*/if ((((((T505*)C))->_type/*4*/)!=((void*)(NULL)))&&(X291is_character((((T505*)C))->_type/*4*/))) {
{T554*n=malloc(sizeof(*n));
*n=M554;
r554make(n,r505n(),(((T505*)C))->_type/*4*/,a1);
R=(T0*)n;
}
}
else {
r505error(X776start_position(r855first(((T855*)(oBC505names)))),((T0*)ms5_505));
}
/*FI*/return R;
}
void r505error(T0* a1,T0* a2){
r683add_position(a1);
r683error(((T683*)(oBC364eh)),a2);
}
/*No:TMP_FEATURE.fatal_error*/
void r505set_require_else(T505* C,T0* a1,T0* a2,T0* a3){
/*IF*/if (((a2)!=((void*)(NULL)))||((a3)!=((void*)(NULL)))) {
{T343*n=malloc(sizeof(*n));
*n=M343;
r343make(n,a1,a2,a3);
C->_require_assertion=(T0*)n;
}
/*[IRF3.3set_require_else*/((((T343*)(((T343*)((((T505*)C))->_require_assertion/*16*/)))))->_is_require_else)=(1);
/*]*/
}
/*FI*/}
void r505initialize(T505* C){
r855clear(((T855*)(oBC505names)));
C->_arguments=NULL;
C->_type=NULL;
C->_header_comment=NULL;
C->_obsolete_mark=NULL;
C->_require_assertion=NULL;
C->_local_vars=NULL;
C->_routine_body=NULL;
}
/*No:TMP_FEATURE.set_obsolete_mark*/
T0* r505to_cst_att_bit(T505* C,T0* a1){
T0* R=NULL;
/*IF*/if ((((((T505*)C))->_type/*4*/)!=((void*)(NULL)))&&(X291is_bit((((T505*)C))->_type/*4*/))) {
{T588*n=malloc(sizeof(*n));
*n=M588;
r588make(n,r505n(),(((T505*)C))->_type/*4*/,a1);
R=(T0*)n;
}
}
else {
r505error(X776start_position(r855first(((T855*)(oBC505names)))),((T0*)ms4_505));
}
/*FI*/return R;
}
T0* r505to_once_routine(T505* C){
T0* R=NULL;
/*IF*/if (((((T505*)C))->_type/*4*/)==((void*)(NULL))) {
{T134*n=malloc(sizeof(*n));
*n=M134;
r134make(n,r505n(),(((T505*)C))->_arguments/*0*/,(((T505*)C))->_obsolete_mark/*12*/,(((T505*)C))->_header_comment/*8*/,(((T505*)C))->_require_assertion/*16*/,(((T505*)C))->_local_vars/*20*/,(((T505*)C))->_routine_body/*24*/);
R=(T0*)n;
}
}
else {
{T844*n=malloc(sizeof(*n));
*n=M844;
r844make(n,r505n(),(((T505*)C))->_arguments/*0*/,(((T505*)C))->_type/*4*/,(((T505*)C))->_obsolete_mark/*12*/,(((T505*)C))->_header_comment/*8*/,(((T505*)C))->_require_assertion/*16*/,(((T505*)C))->_local_vars/*20*/,(((T505*)C))->_routine_body/*24*/);
R=(T0*)n;
}
}
/*FI*/return R;
}
void r544connect_to(T544* C,T0* a1){
C->_output_stream=fopen(r7to_external(((T7*)a1)),"w");
/*IF*/if ((NULL!=(((T544*)C))->_output_stream/*4*/)) {
C->_path=a1;
}
/*FI*/}
/*No:STD_FILE_WRITE.make*/
void r544disconnect(T544* C){
fclose((((T544*)C))->_output_stream/*4*/);
C->_path=NULL;
}
/*No:STD_FILE_WRITE.path*/
/*No:STD_FILE_WRITE.output_stream*/
/*No:STD_FILE_WRITE.is_connected*/
void r544put_string(T544* C,T0* a1){
int _i=0;
_i=1;
while (!((_i)>((((T7*)((T7*)a1)))->_count/*4*/))) {
/*[IRF3.6put_character*/{T544* C1=C;
char b1=/*(IRF4.6item*/((((T7*)((T7*)a1)))->_storage/*0*/)[(_i)-(1)]/*)*/;
putc(b1,((FILE*)((((T544*)C1))->_output_stream/*4*/)));
}/*]*/
_i=(_i)+(1);
}
}
void r544put_integer(T544* C,int a1){
/*[IRF3.3clear*/((((T7*)(((T7*)(oBC817tmp_string)))))->_count)=(0);
/*]*/
r2append_in(a1,oBC817tmp_string);
r544put_string(C,oBC817tmp_string);
}
/*No:STD_FILE_WRITE.put_character*/
/*No:RENAME_PAIR.new_name*/
void r498make(T498* C,T0* a1,T0* a2){
/*IF*/if ((X776to_string(a1))==((void*)(X776to_string(a2)))) {
r683add_position(X776start_position(a1));
r683add_position(X776start_position(a2));
/*[IRF3.6fatal_error*/{T0* b1=((T0*)ms1_498);
r683fatal_error(((T683*)(oBC364eh)),b1);
}/*]*/
}
/*FI*/C->_old_name=a1;
C->_new_name=a2;
}
/*No:RENAME_PAIR.fatal_error*/
/*No:RENAME_PAIR.old_name*/
int r523id(T523* C){
int R=0;
R=(((T355*)((T355*)(r523run_class(C)))))->_id/*4*/;
return R;
}
T0*oBC523tmp_written_mark=NULL;
int r523standard_space_for_object(T523* C){
int R=0;
int _i=0;
T0* _a=NULL;
T0* _wa=NULL;
T0* _rc=NULL;
_rc=r523run_class(C);
/*IF*/if (r355is_tagged(((T355*)_rc))) {
R=r523space_for_integer();
}
/*FI*/_wa=r355writable_attributes(((T355*)_rc));
/*IF*/if ((_wa)!=((void*)(NULL))) {
_i=(((T280*)((T280*)_wa)))->_upper/*12*/;
while (!((_i)==(0))) {
_a=r280item(((T280*)_wa),_i);
R=(R)+(X291space_for_variable((((T820*)((T820*)_a)))->_result_type/*24*/));
_i=(_i)-(1);
}
}
/*FI*/return R;
}
int r523has_creation(T523* C,T0* a1){
int R=0;
R=r605has_creation(((T605*)(r523base_class(C))),a1);
return R;
}
/*No:TYPE_EXPANDED.is_anchored*/
/*No:TYPE_EXPANDED.is_array*/
/*No:TYPE_EXPANDED.fz_typedef*/
int r523is_a(T523* C,T0* a1){
int R=0;
R=((((T523*)C))->_run_time_mark/*16*/)==((void*)(X291run_time_mark(a1)));
/*IF*/if (!(R)) {
r683add_type((T0*)C,((T0*)ms71_470));
r683add_type(a1,((T0*)ms67_470));
}
/*FI*/return R;
}
void r523c_initialize_in(T523* C,T0* a1){
/*IF*/if (r523is_basic_eiffel_expanded(C)) {
X291c_initialize_in((((T523*)C))->_run_type/*20*/,a1);
}
else {
/*IF*/if (r523need_c_struct(C)) {
r355c_object_model_in(((T355*)(r523run_class(C))),a1);
}
else {
r7extend(((T7*)a1),'0');
}
/*FI*/}
/*FI*/}
void r523c_type_for_argument_in(T523* C,T0* a1){
/*IF*/if (X291is_expanded((((T523*)C))->_mapped/*12*/)) {
X291c_type_for_argument_in((((T523*)C))->_mapped/*12*/,a1);
}
 else if (r523is_dummy_expanded(C)) {
r7append(((T7*)a1),((T0*)ms111_470));
}
else {
r7extend(((T7*)a1),'T');
r2append_in(r523id(C),a1);
r7extend(((T7*)a1),'\52');
}
/*FI*/}
void r523standard_c_object_model(T523* C){
T0* _rc=NULL;
int _mem_id=0;
T0* _wa=NULL;
_rc=r523run_class(C);
_mem_id=(((T355*)((T355*)_rc)))->_id/*4*/;
_wa=r355writable_attributes(((T355*)_rc));
r7copy(((T7*)(oBC291tmp_string)),((T0*)ms103_470));
r7extend(((T7*)(oBC291tmp_string)),'T');
r2append_in(_mem_id,oBC291tmp_string);
r7extend(((T7*)(oBC291tmp_string)),'\40');
r7extend(((T7*)(oBC291tmp_string)),'M');
r2append_in(_mem_id,oBC291tmp_string);
r7append(((T7*)(oBC291tmp_string)),((T0*)ms134_470));
/*[IRF3.5put_string*/r544put_string(((T544*)((((T324*)((T324*)(oBC364cpp))))->_current_out/*56*/)),oBC291tmp_string);
/*]*/
/*[IRF3.3swap_on_c*/((((T324*)(((T324*)(oBC364cpp)))))->_current_out)=(oBC324out_c);
/*]*/
/*[IRF3.3clear*/((((T7*)(((T7*)(oBC291tmp_string)))))->_count)=(0);
/*]*/
r7extend(((T7*)(oBC291tmp_string)),'T');
r2append_in(_mem_id,oBC291tmp_string);
r7extend(((T7*)(oBC291tmp_string)),'\40');
r7extend(((T7*)(oBC291tmp_string)),'M');
r2append_in(_mem_id,oBC291tmp_string);
r7extend(((T7*)(oBC291tmp_string)),'\75');
r355c_object_model_in(((T355*)_rc),oBC291tmp_string);
r7append(((T7*)(oBC291tmp_string)),((T0*)ms134_470));
/*[IRF3.5put_string*/r544put_string(((T544*)((((T324*)((T324*)(oBC364cpp))))->_current_out/*56*/)),oBC291tmp_string);
/*]*/
r324swap_on_h(((T324*)(oBC364cpp)));
}
void r523gc_call_new_in(T523* C,T0* a1){
r7append(((T7*)a1),((T0*)ms115_470));
r2append_in(r523id(C),a1);
r7extend(((T7*)a1),'\50');
r7extend(((T7*)a1),'\51');
}
/*No:TYPE_EXPANDED.fz_se_cmpt*/
int r523is_pointer(T523* C){
int R=0;
R=X291is_pointer((((T523*)C))->_mapped/*12*/);
return R;
}
/*No:TYPE_EXPANDED.run_type*/
int r523is_dummy_expanded(T523* C){
int R=0;
/*IF*/if (r523is_user_expanded(C)) {
R=(r355writable_attributes(((T355*)(r523run_class(C)))))==((void*)(NULL));
}
/*FI*/return R;
}
/*No:TYPE_EXPANDED.is_string*/
/*No:TYPE_EXPANDED.space_for_variable*/
void r523standard_c_struct(T523* C){
T0* _t=NULL;
T0* _a=NULL;
int _mem_id=0;
int _i=0;
T0* _wa=NULL;
_mem_id=r523id(C);
_wa=r355writable_attributes(((T355*)(r523run_class(C))));
r7copy(((T7*)(oBC291tmp_string)),((T0*)ms125_470));
r7extend(((T7*)(oBC291tmp_string)),'S');
r2append_in(_mem_id,oBC291tmp_string);
r7extend(((T7*)(oBC291tmp_string)),'\173');
/*IF*//*AF*//*AE*/
/*FI*//*IF*/if ((_wa)!=((void*)(NULL))) {
_i=(((T280*)((T280*)_wa)))->_upper/*12*/;
while (!((_i)==(0))) {
_a=r280item(((T280*)_wa),_i);
_t=X291run_type((((T820*)((T820*)_a)))->_result_type/*24*/);
X291c_type_for_result_in(_t,oBC291tmp_string);
r7extend(((T7*)(oBC291tmp_string)),'\40');
r7extend(((T7*)(oBC291tmp_string)),'\137');
r7append(((T7*)(oBC291tmp_string)),X776to_string((((T820*)((T820*)_a)))->_name/*16*/));
r7extend(((T7*)(oBC291tmp_string)),'\73');
_i=(_i)-(1);
}
}
/*FI*/r7extend(((T7*)(oBC291tmp_string)),'\175');
r7append(((T7*)(oBC291tmp_string)),((T0*)ms134_470));
/*[IRF3.5put_string*/r544put_string(((T544*)((((T324*)((T324*)(oBC364cpp))))->_current_out/*56*/)),oBC291tmp_string);
/*]*/
/*IF*/{/*AT*/r7copy(((T7*)(oBC291tmp_string)),((T0*)ms111_470));
r7extend(((T7*)(oBC291tmp_string)),'\40');
r7append(((T7*)(oBC291tmp_string)),((T0*)ms122_470));
r2append_in(_mem_id,oBC291tmp_string);
r7append(((T7*)(oBC291tmp_string)),((T0*)ms5_291));
r2append_in(_mem_id,oBC291tmp_string);
r7append(((T7*)(oBC291tmp_string)),((T0*)ms6_291));
r2append_in(_mem_id,oBC291tmp_string);
r7append(((T7*)(oBC291tmp_string)),((T0*)ms7_291));
r324put_c_function(((T324*)(oBC364cpp)),oBC291tmp_string,((T0*)ms8_291));
}
/*FI*/}
/*No:TYPE_EXPANDED.is_like_feature*/
T0* r523compute_mark(T0* a1){
T0* R=NULL;
r7copy(((T7*)(oBC523tmp_written_mark)),((T0*)ms14_470));
r7extend(((T7*)(oBC523tmp_written_mark)),'\40');
r7append(((T7*)(oBC523tmp_written_mark)),a1);
R=r902item(oBC523tmp_written_mark);
return R;
}
/*No:TYPE_EXPANDED.is_like_current*/
void r523make(T523* C,T0* a1,T0* a2){
C->_start_position=a1;
C->_mapped=a2;
C->_written_mark=r523compute_mark(X291written_mark((((T523*)C))->_mapped/*12*/));
}
void r523mapping_cast(T523* C){
/*[IRF3.3clear*/((((T7*)(((T7*)(oBC291tmp_string)))))->_count)=(0);
/*]*/
r7extend(((T7*)(oBC291tmp_string)),'\50');
r523c_type_for_target_in(C,oBC291tmp_string);
r7extend(((T7*)(oBC291tmp_string)),'\51');
/*[IRF3.5put_string*/r544put_string(((T544*)((((T324*)((T324*)(oBC364cpp))))->_current_out/*56*/)),oBC291tmp_string);
/*]*/
}
/*No:TYPE_EXPANDED.start_position*/
void r523c_type_for_target_in(T523* C,T0* a1){
/*IF*/if (r523is_dummy_expanded(C)) {
r7append(((T7*)a1),((T0*)ms111_470));
}
else {
r7extend(((T7*)a1),'T');
r2append_in(r523id(C),a1);
r7extend(((T7*)a1),'\52');
}
/*FI*/}
/*No:TYPE_EXPANDED.fz_gc_mark*/
/*No:TYPE_EXPANDED.fz_inako*/
/*No:TYPE_EXPANDED.gc_initialize*/
/*No:TYPE_EXPANDED.fz_00*/
int r523is_character(T523* C){
int R=0;
R=X291is_character((((T523*)C))->_mapped/*12*/);
return R;
}
int r523is_user_expanded(T523* C){
int R=0;
/*IF*/if (X291is_basic_eiffel_expanded((((T523*)C))->_mapped/*12*/)) {
}
else {
R=1;
}
/*FI*/return R;
}
/*No:TYPE_EXPANDED.written_mark*/
/*No:TYPE_EXPANDED.is_run_type*/
T0* r523to_runnable(T523* C,T0* a1){
T0* R=NULL;
T0* _m=NULL;
/*IF*/if (((((T523*)C))->_run_type/*20*/)==((void*)(C))) {
R=(T0*)C;
}
 else if (((((T523*)C))->_run_type/*20*/)==((void*)((((T523*)C))->_mapped/*12*/))) {
R=(T0*)C;
}
else {
_m=X291to_runnable((((T523*)C))->_mapped/*12*/,a1);
/*IF*/if ((_m)==((void*)(NULL))) {
r683add_position((((T523*)C))->_start_position/*4*/);
/*[IRF3.6fatal_error*/{T0* b1=((T0*)ms1_523);
r683fatal_error(((T683*)(oBC364eh)),b1);
}/*]*/
}
/*FI*//*IF*/if (((((T523*)C))->_run_type/*20*/)!=((void*)(NULL))) {
{T523*n=malloc(sizeof(*n));
*n=M523;
r523from_other(n,(T0*)C,X291run_type(_m));
R=(T0*)n;
}
}
 else if (X291is_expanded(_m)) {
C->_run_type=_m;
C->_run_time_mark=X291run_time_mark(_m);
R=(T0*)C;
}
 else if (((((T523*)C))->_mapped/*12*/)==((void*)(X291run_type(_m)))) {
C->_run_time_mark=r523compute_mark(X291run_time_mark(_m));
C->_run_type=(T0*)C;
R=(T0*)C;
}
else {
C->_run_time_mark=r523compute_mark(X291run_time_mark(_m));
{T523*n=malloc(sizeof(*n));
*n=M523;
r523from_other(n,(T0*)C,X291run_type(_m));
C->_run_type=(T0*)n;
}
R=(T0*)C;
}
/*FI*/r355set_at_run_time(((T355*)(X291run_class((((T523*)((T523*)R)))->_run_type/*20*/))));
}
/*FI*/return R;
}
void r523c_type_for_external_in(T523* C,T0* a1){
/*IF*//*AF*//*AE*/
r523c_type_for_result_in(C,a1);
/*FI*/}
T0* r523generic_list(T523* C){
T0* R=NULL;
R=X291generic_list((((T523*)C))->_mapped/*12*/);
return R;
}
/*No:TYPE_EXPANDED.is_formal_generic*/
void r523demangling_in(T523* C,T0* a1){
/*IF*//*AF*//*AE*/
r7extend(((T7*)a1),'E');
/*FI*/r7extend(((T7*)a1),'\40');
r7append(((T7*)a1),(((T523*)C))->_run_time_mark/*16*/);
}
void r523c_initialize_expanded(T523* C){
T0* _rf=NULL;
int _i=0;
T0* _wa=NULL;
/*IF*/if (r523is_dummy_expanded(C)) {
/*[IRF3.5put_character*//*[IRF3.6put_character*/{T544* C1=((T544*)((((T324*)((T324*)(oBC364cpp))))->_current_out/*56*/));
char b1='0';
putc(b1,((FILE*)((((T544*)C1))->_output_stream/*4*/)));
}/*]*/
/*]*/
}
else {
/*[IRF3.5put_character*//*[IRF3.6put_character*/{T544* C1=((T544*)((((T324*)((T324*)(oBC364cpp))))->_current_out/*56*/));
char b1='\173';
putc(b1,((FILE*)((((T544*)C1))->_output_stream/*4*/)));
}/*]*/
/*]*/
_wa=r355writable_attributes(((T355*)(r523run_class(C))));
_i=(((T280*)((T280*)_wa)))->_upper/*12*/;
while (!((_i)==(0))) {
_rf=r280item(((T280*)_wa),_i);
X291c_initialize((((T820*)((T820*)_rf)))->_result_type/*24*/);
_i=(_i)-(1);
/*IF*/if ((_i)>(0)) {
/*[IRF3.5put_character*//*[IRF3.6put_character*/{T544* C1=((T544*)((((T324*)((T324*)(oBC364cpp))))->_current_out/*56*/));
char b1='\54';
putc(b1,((FILE*)((((T544*)C1))->_output_stream/*4*/)));
}/*]*/
/*]*/
}
/*FI*/}
/*[IRF3.5put_character*//*[IRF3.6put_character*/{T544* C1=((T544*)((((T324*)((T324*)(oBC364cpp))))->_current_out/*56*/));
char b1='\175';
putc(b1,((FILE*)((((T544*)C1))->_output_stream/*4*/)));
}/*]*/
/*]*/
}
/*FI*/}
int r523is_real(T523* C){
int R=0;
R=X291is_real((((T523*)C))->_mapped/*12*/);
return R;
}
int r523is_bit(T523* C){
int R=0;
R=X291is_bit((((T523*)C))->_mapped/*12*/);
return R;
}
/*No:TYPE_EXPANDED.fz_new*/
T0* r523smallest_ancestor(T523* C,T0* a1){
T0* R=NULL;
/*IF*/if (((((T523*)C))->_run_time_mark/*16*/)==((void*)(X291run_time_mark(a1)))) {
R=(((T523*)C))->_run_type/*20*/;
}
else {
R=X291run_type(X291smallest_ancestor((((T523*)C))->_mapped/*12*/,a1));
}
/*FI*/return R;
}
int r523is_boolean(T523* C){
int R=0;
R=X291is_boolean((((T523*)C))->_mapped/*12*/);
return R;
}
void r523standard_c_typedef(T523* C){
int _mem_id=0;
_mem_id=r523id(C);
/*[IRF3.3clear*/((((T7*)(((T7*)(oBC291tmp_string)))))->_count)=(0);
/*]*/
/*IF*/if (r523need_c_struct(C)) {
r7append(((T7*)(oBC291tmp_string)),((T0*)ms131_470));
r7append(((T7*)(oBC291tmp_string)),((T0*)ms125_470));
r7extend(((T7*)(oBC291tmp_string)),'S');
r2append_in(_mem_id,oBC291tmp_string);
r7extend(((T7*)(oBC291tmp_string)),'\40');
r7extend(((T7*)(oBC291tmp_string)),'T');
r2append_in(_mem_id,oBC291tmp_string);
r7append(((T7*)(oBC291tmp_string)),((T0*)ms134_470));
}
 else if (r523is_dummy_expanded(C)) {
r7append(((T7*)(oBC291tmp_string)),((T0*)ms131_470));
r7append(((T7*)(oBC291tmp_string)),((T0*)ms111_470));
r7extend(((T7*)(oBC291tmp_string)),'\40');
r7extend(((T7*)(oBC291tmp_string)),'T');
r2append_in(_mem_id,oBC291tmp_string);
r7append(((T7*)(oBC291tmp_string)),((T0*)ms134_470));
}
/*AF*//*FI*//*[IRF3.5put_string*/r544put_string(((T544*)((((T324*)((T324*)(oBC364cpp))))->_current_out/*56*/)),oBC291tmp_string);
/*]*/
}
int r523is_double(T523* C){
int R=0;
R=X291is_double((((T523*)C))->_mapped/*12*/);
return R;
}
T0* r523run_class(T523* C){
T0* R=NULL;
R=r604run_class((((T523*)C))->_run_type/*20*/);
return R;
}
/*No:TYPE_EXPANDED.fz_extern*/
void r523c_initialize(T523* C){
/*IF*/if (r523is_basic_eiffel_expanded(C)) {
X291c_initialize((((T523*)C))->_run_type/*20*/);
}
else {
r523c_initialize_expanded(C);
}
/*FI*/}
/*No:TYPE_EXPANDED.run_time_mark*/
void r523cast_to_ref(T523* C){
X291cast_to_ref((((T523*)C))->_run_type/*20*/);
}
/*No:TYPE_EXPANDED.mapped*/
void r523gc_mark_in(T523* C,T0* a1){
r7append(((T7*)a1),((T0*)ms107_470));
r2append_in(r523id(C),a1);
}
int r523is_a_in(T523* C,T0* a1,T0* a2){
int R=0;
T0* _ct=NULL;
T0* _t2=NULL;
T0* _t1=NULL;
/*IF*/if (((((T523*)C))->_written_mark/*8*/)==((void*)(X291written_mark(a1)))) {
R=1;
}
else {
_ct=(((T355*)((T355*)a2)))->_current_type/*0*/;
_t1=r523to_runnable(C,_ct);
_t2=X291to_runnable(a1,_ct);
/*IF*/if ((X291run_time_mark(_t1))==((void*)(X291run_time_mark(_t2)))) {
R=1;
}
else {
R=X291is_a(_t1,_t2);
}
/*FI*/}
/*FI*/return R;
}
T0* r523look_up_for(T523* C,T0* a1,T0* a2){
T0* R=NULL;
R=r605look_up_for(((T605*)(r523base_class(C))),a1,a2);
return R;
}
/*No:TYPE_EXPANDED.c_header_pass1*/
void r523c_type_for_result_in(T523* C,T0* a1){
/*IF*/if (r523is_dummy_expanded(C)) {
r7append(((T7*)a1),((T0*)ms111_470));
}
else {
r7extend(((T7*)a1),'T');
r2append_in(r523id(C),a1);
}
/*FI*/}
T0* r523expanded_initializer(T523* C){
T0* R=NULL;
R=r605expanded_initializer(((T605*)(r523base_class(C))),(T0*)C);
return R;
}
/*No:TYPE_EXPANDED.fz_int*/
/*No:TYPE_EXPANDED.fz_void*/
/*No:TYPE_EXPANDED.fz_dot*/
int r523is_generic(T523* C){
int R=0;
R=X291is_generic((((T523*)C))->_mapped/*12*/);
return R;
}
/*No:TYPE_EXPANDED.used_as_reference*/
int r523space_for_integer(void){
int R=0;
R=sizeof(T2);
return R;
}
/*No:TYPE_EXPANDED.c_header_pass2*/
/*No:TYPE_EXPANDED.gc_define1*/
int r523need_c_struct(T523* C){
int R=0;
/*IF*/if (X291is_expanded((((T523*)C))->_mapped/*12*/)) {
R=X291need_c_struct((((T523*)C))->_mapped/*12*/);
}
else {
R=(r355writable_attributes(((T355*)(r523run_class(C)))))!=((void*)(NULL));
}
/*FI*/return R;
}
/*No:TYPE_EXPANDED.gc_info_in*/
/*No:TYPE_EXPANDED.is_reference*/
T0* r523base_class(T523* C){
T0* R=NULL;
T0* _bcn=NULL;
_bcn=r523base_class_name(C);
/*IF*/if ((_bcn)!=((void*)(NULL))) {
R=r451base_class(((T451*)_bcn));
}
else {
/*[IRF3.6append*/{T0* b1=((T0*)ms3_291);
r7append(((T7*)(oBC683explanation)),b1);
}/*]*/
r683add_type((T0*)C,((T0*)ms67_470));
r683print_as_fatal_error(((T683*)(oBC364eh)));
}
/*FI*/return R;
}
/*No:TYPE_EXPANDED.call_gc_sweep_in*/
void r523from_other(T523* C,T0* a1,T0* a2){
C->_start_position=(((T523*)((T523*)a1)))->_start_position/*4*/;
C->_written_mark=(((T523*)((T523*)a1)))->_written_mark/*8*/;
C->_mapped=a2;
/*IF*/if (X291is_expanded((((T523*)C))->_mapped/*12*/)) {
C->_run_time_mark=X291run_time_mark((((T523*)C))->_mapped/*12*/);
C->_run_type=(((T523*)C))->_mapped/*12*/;
}
else {
C->_run_time_mark=r523compute_mark(X291run_time_mark((((T523*)C))->_mapped/*12*/));
C->_run_type=(T0*)C;
}
/*FI*/}
/*No:TYPE_EXPANDED.gc_define2*/
int r523need_gc_mark_function(T523* C){
int R=0;
R=r355gc_mark_to_follow(((T355*)(r523run_class(C))));
return R;
}
/*No:TYPE_EXPANDED.fatal_error*/
/*No:TYPE_EXPANDED.is_any*/
/*No:TYPE_EXPANDED.to_reference*/
void r523c_header_pass3(T523* C){
/*IF*/if (r523need_c_struct(C)) {
/*IF*/if (((((T523*)C))->_run_type/*20*/)==((void*)(C))) {
r523standard_c_struct(C);
}
else {
X291c_header_pass3((((T523*)C))->_run_type/*20*/);
}
/*FI*/r523standard_c_object_model(C);
}
/*FI*/}
T0* r523base_class_name(T523* C){
T0* R=NULL;
R=X291base_class_name((((T523*)C))->_mapped/*12*/);
return R;
}
/*No:TYPE_EXPANDED.is_expanded*/
/*No:TYPE_EXPANDED.fz_expanded*/
int r523is_basic_eiffel_expanded(T523* C){
int R=0;
/*IF*/if (((((T523*)C))->_run_type/*20*/)==((void*)((((T523*)C))->_mapped/*12*/))) {
R=X291is_basic_eiffel_expanded((((T523*)C))->_mapped/*12*/);
}
/*FI*/return R;
}
/*No:TYPE_EXPANDED.is_none*/
/*No:TYPE_EXPANDED.to_expanded*/
int r523is_integer(T523* C){
int R=0;
R=X291is_integer((((T523*)C))->_mapped/*12*/);
return R;
}
/*No:TYPE_EXPANDED.c_header_pass4*/
/*No:TYPE_EXPANDED.fz_struct*/
T0* r805add_comment(T805* C,T0* a1){
T0* R=NULL;
/*IF*/if (((a1)==((void*)(NULL)))||((/*(IRF4.6count*/r52count(((T52*)((((T393*)((T393*)a1)))->_list/*4*/)))/*)*/)==(0))) {
R=(T0*)C;
}
else {
{T529*n=malloc(sizeof(*n));
*n=M529;
r529make(n,(T0*)C,a1);
R=(T0*)n;
}
}
/*FI*/return R;
}
int r805to_integer(T805* C){
int R=0;
r805error((((T805*)C))->_start_position/*12*/,((T0*)ms69_470));
return R;
}
int r805is_a(T805* C,T0* a1){
int R=0;
R=X291is_a(/*(IRF4.4run_type*/((T0*)((T491*)/*(IRF4.8result_type*/r805type_string()/*)*/))/*)*/,X291run_type(X662result_type(a1)));
/*IF*/if (!(R)) {
r683add_position((((T805*)C))->_start_position/*12*/);
r805error(X662start_position(a1),((T0*)ms4_662));
}
/*FI*/return R;
}
void r805from_manifest_string(T805* C,T0* a1,int a2){
*((T805*)(C))=*((T805*)(a1));
C->_mapping_c=r7twin(((T7*)((((T805*)((T805*)a1)))->_mapping_c/*32*/)));
r7extend(((T7*)((((T805*)C))->_mapping_c/*32*/)),'\137');
r2append_in(a2,(((T805*)C))->_mapping_c/*32*/);
}
/*No:MANIFEST_STRING.is_current*/
/*No:MANIFEST_STRING.mapping_c_arg*/
/*No:MANIFEST_STRING.static_value*/
void r805make(T805* C,T0* a1,int a2){
C->_start_position=a1;
{T7*n=malloc(sizeof(*n));
*n=M7;
r7make(n,0);
C->_to_string=(T0*)n;
}
{T7*n=malloc(sizeof(*n));
*n=M7;
r7make(n,12);
C->_mapping_c=(T0*)n;
}
r7copy(((T7*)((((T805*)C))->_mapping_c/*32*/)),((T0*)ms1_805));
r2append_in(a2,(((T805*)C))->_mapping_c/*32*/);
}
/*No:MANIFEST_STRING.mapping_c_target*/
/*No:MANIFEST_STRING.to_string*/
T0* r805type_string(void){
if (fBC364type_string==0){
T0* R=NULL;
fBC364type_string=1;
{T491*n=malloc(sizeof(*n));
*n=M491;
r491make(n,NULL);
R=(T0*)n;
}
oBC364type_string=R;}
return oBC364type_string;}
/*No:MANIFEST_STRING.fz_iinaiv*/
/*No:MANIFEST_STRING.break*/
/*No:MANIFEST_STRING.dca_inline_argument*/
/*No:MANIFEST_STRING.add*/
/*No:MANIFEST_STRING.start_position*/
void r805compile_to_c(T805* C){
/*[IRF3.5put_character*//*[IRF3.6put_character*/{T544* C1=((T544*)((((T324*)((T324*)(oBC364cpp))))->_current_out/*56*/));
char b1='\50';
putc(b1,((FILE*)((((T544*)C1))->_output_stream/*4*/)));
}/*]*/
/*]*/
/*[IRF3.5put_string*/r544put_string(((T544*)((((T324*)((T324*)(oBC364cpp))))->_current_out/*56*/)),((T0*)ms85_470));
/*]*/
/*[IRF3.5put_string*/r544put_string(((T544*)((((T324*)((T324*)(oBC364cpp))))->_current_out/*56*/)),(((T805*)C))->_mapping_c/*32*/);
/*]*/
/*[IRF3.5put_character*//*[IRF3.6put_character*/{T544* C1=((T544*)((((T324*)((T324*)(oBC364cpp))))->_current_out/*56*/));
char b1='\51';
putc(b1,((FILE*)((((T544*)C1))->_output_stream/*4*/)));
}/*]*/
/*]*/
}
/*No:MANIFEST_STRING.c_simple*/
T0* r805to_runnable(T805* C,T0* a1){
T0* R=NULL;
T0* _dummy=NULL;
T0* _bc=NULL;
_dummy=r491to_runnable(((T491*)(r805type_string())),a1);
/*IF*/if (((((T805*)C))->_current_type/*8*/)==((void*)(NULL))) {
C->_current_type=a1;
r7extend(((T7*)((((T805*)C))->_mapping_c/*32*/)),'\137');
_bc=r627base_class(((T627*)((((T805*)C))->_start_position/*12*/)));
r2append_in((((T605*)((T605*)_bc)))->_id/*0*/,(((T805*)C))->_mapping_c/*32*/);
r355set_at_run_time(((T355*)(r491run_class(((T491*)(/*(IRF4.8result_type*/r805type_string()/*)*/))))));
r340add_last((T0*)C);
R=(T0*)C;
}
else {
R=r805twin(C);
/*[IRF3.3set_current_type*/((((T805*)(((T805*)R))))->_current_type)=(a1);
/*]*/
}
/*FI*/return R;
}
/*No:MANIFEST_STRING.ascii*/
/*No:MANIFEST_STRING.percent*/
/*No:MANIFEST_STRING.result_type*/
int r805is_equal(T805* C,T0* a1){
int R=0;
R=((C->id==a1->id)?!memcmp(C,a1,sizeof(*C)):0);return R;
}
/*No:MANIFEST_STRING.is_result*/
T0* r805twin(T805* C){
T0* R=NULL;
R=malloc(sizeof(*C));
*((T805*)R)=*C;
return R;
}
/*No:MANIFEST_STRING.set_current_type*/
void r805add_ascii(T805* C,char a1){
r7extend(((T7*)((((T805*)C))->_to_string/*16*/)),a1);
/*IF*/if (((((T805*)C))->_ascii/*24*/)==((void*)(NULL))) {
C->_ascii=se_ma429(1,(((T7*)((T7*)((((T805*)C))->_to_string/*16*/))))->_count/*4*/);
}
else {
r429add_last(((T429*)((((T805*)C))->_ascii/*24*/)),(((T7*)((T7*)((((T805*)C))->_to_string/*16*/))))->_count/*4*/);
}
/*FI*/}
/*No:MANIFEST_STRING.is_static*/
/*No:MANIFEST_STRING.can_be_dropped*/
/*No:MANIFEST_STRING.current_type*/
/*No:MANIFEST_STRING.compile_to_c_old*/
/*No:MANIFEST_STRING.static_value_mem*/
/*No:MANIFEST_STRING.is_manifest_string*/
/*No:MANIFEST_STRING.is_void*/
/*No:MANIFEST_STRING.is_pre_computable*/
/*No:MANIFEST_STRING.fz_cast_t0_star*/
/*No:MANIFEST_STRING.use_current*/
void r805add_percent(T805* C,char a1){
r7extend(((T7*)((((T805*)C))->_to_string/*16*/)),a1);
/*IF*/if (((((T805*)C))->_percent/*28*/)==((void*)(NULL))) {
C->_percent=se_ma429(1,(((T7*)((T7*)((((T805*)C))->_to_string/*16*/))))->_count/*4*/);
}
else {
r429add_last(((T429*)((((T805*)C))->_percent/*28*/)),(((T7*)((T7*)((((T805*)C))->_to_string/*16*/))))->_count/*4*/);
}
/*FI*/}
void r805error(T0* a1,T0* a2){
r683add_position(a1);
r683error(((T683*)(oBC364eh)),a2);
}
/*No:MANIFEST_STRING.count*/
/*No:MANIFEST_STRING.isa_dca_inline_argument*/
/*No:MANIFEST_STRING.mapping_c*/
/*No:MANIFEST_STRING.afd_check*/
void r805break_line(T805* C){
/*IF*/if (((((T805*)C))->_break/*20*/)==((void*)(NULL))) {
C->_break=se_ma429(1,((((T7*)((T7*)((((T805*)C))->_to_string/*16*/))))->_count/*4*/)+(1));
}
else {
r429add_last(((T429*)((((T805*)C))->_break/*20*/)),((((T7*)((T7*)((((T805*)C))->_to_string/*16*/))))->_count/*4*/)+(1));
}
/*FI*/}
/*No:NATIVE_SMALL_EIFFEL.us_put*/
/*No:NATIVE_SMALL_EIFFEL.us_character_bits*/
void r85c_mapping_bit_function(T0* a1,T0* a2){
int _boost=0;
T0* _type_bit=NULL;
_type_bit=(((T892*)((T892*)a1)))->_current_type/*4*/;
if(NULL!=(_type_bit))switch(((T0*)_type_bit)->id) {
case 549: case 558: 
break;
default:
_type_bit=NULL;
};_boost=r590boost(((T590*)(oBC364run_control)));
/*IF*/if ((((T0*)ms60_473))==((void*)(a2))) {
/*[IRF3.5put_integer*/r544put_integer(((T544*)((((T324*)((T324*)(oBC364cpp))))->_current_out/*56*/)),X609nb(_type_bit));
/*]*/
}
 else if ((((T0*)ms86_473))==((void*)(a2))) {
/*IF*/if (X609is_c_unsigned_ptr(_type_bit)) {
r892default_mapping_function(((T892*)a1));
}
 else if (_boost) {
/*[IRF3.5put_string*/r544put_string(((T544*)((((T324*)((T324*)(oBC364cpp))))->_current_out/*56*/)),((T0*)ms151_470));
/*]*/
r324put_target_as_target(((T324*)(oBC364cpp)));
/*[IRF3.5put_string*/r544put_string(((T544*)((((T324*)((T324*)(oBC364cpp))))->_current_out/*56*/)),((T0*)ms100_85));
/*]*/
/*IF*/if (X609is_c_int(_type_bit)) {
/*[IRF3.5put_string*/r544put_string(((T544*)((((T324*)((T324*)(oBC364cpp))))->_current_out/*56*/)),((T0*)ms101_85));
/*]*/
}
/*FI*//*[IRF3.5put_string*/r544put_string(((T544*)((((T324*)((T324*)(oBC364cpp))))->_current_out/*56*/)),((T0*)ms102_85));
/*]*/
r324put_arguments(((T324*)(oBC364cpp)));
/*[IRF3.5put_string*/r544put_string(((T544*)((((T324*)((T324*)(oBC364cpp))))->_current_out/*56*/)),((T0*)ms103_85));
/*]*/
}
else {
r892default_mapping_function(((T892*)a1));
}
/*FI*/}
 else if ((((T0*)ms46_473))==((void*)(a2))) {
/*IF*/if (X609is_c_unsigned_ptr(_type_bit)) {
r892default_mapping_function(((T892*)a1));
}
 else if (_boost) {
/*[IRF3.5put_string*/r544put_string(((T544*)((((T324*)((T324*)(oBC364cpp))))->_current_out/*56*/)),((T0*)ms151_470));
/*]*/
r324put_target_as_target(((T324*)(oBC364cpp)));
/*[IRF3.5put_string*/r544put_string(((T544*)((((T324*)((T324*)(oBC364cpp))))->_current_out/*56*/)),((T0*)ms104_85));
/*]*/
r324put_ith_argument(((T324*)(oBC364cpp)),1);
/*[IRF3.5put_string*/r544put_string(((T544*)((((T324*)((T324*)(oBC364cpp))))->_current_out/*56*/)),((T0*)ms147_470));
/*]*/
}
else {
r892default_mapping_function(((T892*)a1));
}
/*FI*/}
 else if ((((T0*)ms45_473))==((void*)(a2))) {
/*IF*/if (X609is_c_unsigned_ptr(_type_bit)) {
r892default_mapping_function(((T892*)a1));
}
 else if (_boost) {
/*[IRF3.5put_string*/r544put_string(((T544*)((((T324*)((T324*)(oBC364cpp))))->_current_out/*56*/)),((T0*)ms151_470));
/*]*/
r324put_target_as_target(((T324*)(oBC364cpp)));
/*[IRF3.5put_string*/r544put_string(((T544*)((((T324*)((T324*)(oBC364cpp))))->_current_out/*56*/)),((T0*)ms105_85));
/*]*/
r324put_ith_argument(((T324*)(oBC364cpp)),1);
/*[IRF3.5put_string*/r544put_string(((T544*)((((T324*)((T324*)(oBC364cpp))))->_current_out/*56*/)),((T0*)ms147_470));
/*]*/
}
else {
r892default_mapping_function(((T892*)a1));
}
/*FI*/}
 else if ((((T0*)ms50_473))==((void*)(a2))) {
/*IF*/if (X609is_c_unsigned_ptr(_type_bit)) {
r85fe_nyi(a1);
}
else {
/*[IRF3.5put_character*//*[IRF3.6put_character*/{T544* C1=((T544*)((((T324*)((T324*)(oBC364cpp))))->_current_out/*56*/));
char b1='\50';
putc(b1,((FILE*)((((T544*)C1))->_output_stream/*4*/)));
}/*]*/
/*]*/
r324put_target_as_target(((T324*)(oBC364cpp)));
/*[IRF3.5put_character*//*[IRF3.6put_character*/{T544* C1=((T544*)((((T324*)((T324*)(oBC364cpp))))->_current_out/*56*/));
char b1='\51';
putc(b1,((FILE*)((((T544*)C1))->_output_stream/*4*/)));
}/*]*/
/*]*/
/*[IRF3.5put_character*//*[IRF3.6put_character*/{T544* C1=((T544*)((((T324*)((T324*)(oBC364cpp))))->_current_out/*56*/));
char b1='\136';
putc(b1,((FILE*)((((T544*)C1))->_output_stream/*4*/)));
}/*]*/
/*]*/
/*[IRF3.5put_character*//*[IRF3.6put_character*/{T544* C1=((T544*)((((T324*)((T324*)(oBC364cpp))))->_current_out/*56*/));
char b1='\50';
putc(b1,((FILE*)((((T544*)C1))->_output_stream/*4*/)));
}/*]*/
/*]*/
r324put_ith_argument(((T324*)(oBC364cpp)),1);
/*[IRF3.5put_character*//*[IRF3.6put_character*/{T544* C1=((T544*)((((T324*)((T324*)(oBC364cpp))))->_current_out/*56*/));
char b1='\51';
putc(b1,((FILE*)((((T544*)C1))->_output_stream/*4*/)));
}/*]*/
/*]*/
}
/*FI*/}
 else if ((((T0*)ms41_473))==((void*)(a2))) {
/*IF*/if (X609is_c_unsigned_ptr(_type_bit)) {
r85fe_nyi(a1);
}
else {
/*[IRF3.5put_character*//*[IRF3.6put_character*/{T544* C1=((T544*)((((T324*)((T324*)(oBC364cpp))))->_current_out/*56*/));
char b1='\50';
putc(b1,((FILE*)((((T544*)C1))->_output_stream/*4*/)));
}/*]*/
/*]*/
r324put_target_as_target(((T324*)(oBC364cpp)));
/*[IRF3.5put_character*//*[IRF3.6put_character*/{T544* C1=((T544*)((((T324*)((T324*)(oBC364cpp))))->_current_out/*56*/));
char b1='\51';
putc(b1,((FILE*)((((T544*)C1))->_output_stream/*4*/)));
}/*]*/
/*]*/
/*[IRF3.5put_character*//*[IRF3.6put_character*/{T544* C1=((T544*)((((T324*)((T324*)(oBC364cpp))))->_current_out/*56*/));
char b1='\174';
putc(b1,((FILE*)((((T544*)C1))->_output_stream/*4*/)));
}/*]*/
/*]*/
/*[IRF3.5put_character*//*[IRF3.6put_character*/{T544* C1=((T544*)((((T324*)((T324*)(oBC364cpp))))->_current_out/*56*/));
char b1='\50';
putc(b1,((FILE*)((((T544*)C1))->_output_stream/*4*/)));
}/*]*/
/*]*/
r324put_ith_argument(((T324*)(oBC364cpp)),1);
/*[IRF3.5put_character*//*[IRF3.6put_character*/{T544* C1=((T544*)((((T324*)((T324*)(oBC364cpp))))->_current_out/*56*/));
char b1='\51';
putc(b1,((FILE*)((((T544*)C1))->_output_stream/*4*/)));
}/*]*/
/*]*/
}
/*FI*/}
 else if ((((T0*)ms40_473))==((void*)(a2))) {
/*IF*/if (X609is_c_unsigned_ptr(_type_bit)) {
r85fe_nyi(a1);
}
else {
/*[IRF3.5put_character*//*[IRF3.6put_character*/{T544* C1=((T544*)((((T324*)((T324*)(oBC364cpp))))->_current_out/*56*/));
char b1='\40';
putc(b1,((FILE*)((((T544*)C1))->_output_stream/*4*/)));
}/*]*/
/*]*/
/*[IRF3.5put_character*//*[IRF3.6put_character*/{T544* C1=((T544*)((((T324*)((T324*)(oBC364cpp))))->_current_out/*56*/));
char b1='\176';
putc(b1,((FILE*)((((T544*)C1))->_output_stream/*4*/)));
}/*]*/
/*]*/
/*[IRF3.5put_character*//*[IRF3.6put_character*/{T544* C1=((T544*)((((T324*)((T324*)(oBC364cpp))))->_current_out/*56*/));
char b1='\50';
putc(b1,((FILE*)((((T544*)C1))->_output_stream/*4*/)));
}/*]*/
/*]*/
r324put_target_as_target(((T324*)(oBC364cpp)));
/*[IRF3.5put_character*//*[IRF3.6put_character*/{T544* C1=((T544*)((((T324*)((T324*)(oBC364cpp))))->_current_out/*56*/));
char b1='\51';
putc(b1,((FILE*)((((T544*)C1))->_output_stream/*4*/)));
}/*]*/
/*]*/
}
/*FI*/}
 else if ((((T0*)ms27_473))==((void*)(a2))) {
/*IF*/if (X609is_c_unsigned_ptr(_type_bit)) {
r85fe_nyi(a1);
}
else {
/*[IRF3.5put_character*//*[IRF3.6put_character*/{T544* C1=((T544*)((((T324*)((T324*)(oBC364cpp))))->_current_out/*56*/));
char b1='\50';
putc(b1,((FILE*)((((T544*)C1))->_output_stream/*4*/)));
}/*]*/
/*]*/
r324put_target_as_target(((T324*)(oBC364cpp)));
/*[IRF3.5put_character*//*[IRF3.6put_character*/{T544* C1=((T544*)((((T324*)((T324*)(oBC364cpp))))->_current_out/*56*/));
char b1='\51';
putc(b1,((FILE*)((((T544*)C1))->_output_stream/*4*/)));
}/*]*/
/*]*/
/*[IRF3.5put_character*//*[IRF3.6put_character*/{T544* C1=((T544*)((((T324*)((T324*)(oBC364cpp))))->_current_out/*56*/));
char b1='\46';
putc(b1,((FILE*)((((T544*)C1))->_output_stream/*4*/)));
}/*]*/
/*]*/
/*[IRF3.5put_character*//*[IRF3.6put_character*/{T544* C1=((T544*)((((T324*)((T324*)(oBC364cpp))))->_current_out/*56*/));
char b1='\50';
putc(b1,((FILE*)((((T544*)C1))->_output_stream/*4*/)));
}/*]*/
/*]*/
r324put_ith_argument(((T324*)(oBC364cpp)),1);
/*[IRF3.5put_character*//*[IRF3.6put_character*/{T544* C1=((T544*)((((T324*)((T324*)(oBC364cpp))))->_current_out/*56*/));
char b1='\51';
putc(b1,((FILE*)((((T544*)C1))->_output_stream/*4*/)));
}/*]*/
/*]*/
}
/*FI*/}
 else if ((((T0*)ms132_473))==((void*)(a2))) {
r324put_target_as_value(((T324*)(oBC364cpp)));
}
 else if ((((T0*)ms134_473))==((void*)(a2))) {
r324put_target_as_value(((T324*)(oBC364cpp)));
}
/*FI*/}
/*No:NATIVE_SMALL_EIFFEL.us_minimum_integer*/
/*No:NATIVE_SMALL_EIFFEL.us_integer*/
/*No:NATIVE_SMALL_EIFFEL.us_copy*/
/*No:NATIVE_SMALL_EIFFEL.us_generator*/
/*No:NATIVE_SMALL_EIFFEL.us_maximum_integer*/
/*No:NATIVE_SMALL_EIFFEL.us_minimum_character_code*/
/*No:NATIVE_SMALL_EIFFEL.us_standard_copy*/
/*No:NATIVE_SMALL_EIFFEL.fz_open*/
/*No:NATIVE_SMALL_EIFFEL.us_maximum_character_code*/
/*No:NATIVE_SMALL_EIFFEL.us_minimum_real*/
/*No:NATIVE_SMALL_EIFFEL.us_sprintf_double*/
/*No:NATIVE_SMALL_EIFFEL.us_maximum_real*/
/*No:NATIVE_SMALL_EIFFEL.us_backslash_backslash*/
void r85c_mapping_real_function(T0* a1,T0* a2){
/*IF*/if ((r892arg_count(((T892*)a1)))==(1)) {
/*[IRF3.5put_character*//*[IRF3.6put_character*/{T544* C1=((T544*)((((T324*)((T324*)(oBC364cpp))))->_current_out/*56*/));
char b1='\50';
putc(b1,((FILE*)((((T544*)C1))->_output_stream/*4*/)));
}/*]*/
/*]*/
r324put_target_as_value(((T324*)(oBC364cpp)));
/*[IRF3.5put_character*//*[IRF3.6put_character*/{T544* C1=((T544*)((((T324*)((T324*)(oBC364cpp))))->_current_out/*56*/));
char b1='\51';
putc(b1,((FILE*)((((T544*)C1))->_output_stream/*4*/)));
}/*]*/
/*]*/
/*[IRF3.5put_string*/r544put_string(((T544*)((((T324*)((T324*)(oBC364cpp))))->_current_out/*56*/)),a2);
/*]*/
/*[IRF3.5put_character*//*[IRF3.6put_character*/{T544* C1=((T544*)((((T324*)((T324*)(oBC364cpp))))->_current_out/*56*/));
char b1='\50';
putc(b1,((FILE*)((((T544*)C1))->_output_stream/*4*/)));
}/*]*/
/*]*/
r324put_arguments(((T324*)(oBC364cpp)));
/*[IRF3.5put_character*//*[IRF3.6put_character*/{T544* C1=((T544*)((((T324*)((T324*)(oBC364cpp))))->_current_out/*56*/));
char b1='\51';
putc(b1,((FILE*)((((T544*)C1))->_output_stream/*4*/)));
}/*]*/
/*]*/
}
 else if ((((T0*)ms133_473))==((void*)(a2))) {
/*[IRF3.5put_character*//*[IRF3.6put_character*/{T544* C1=((T544*)((((T324*)((T324*)(oBC364cpp))))->_current_out/*56*/));
char b1='\50';
putc(b1,((FILE*)((((T544*)C1))->_output_stream/*4*/)));
}/*]*/
/*]*/
/*[IRF3.5put_character*//*[IRF3.6put_character*/{T544* C1=((T544*)((((T324*)((T324*)(oBC364cpp))))->_current_out/*56*/));
char b1='\50';
putc(b1,((FILE*)((((T544*)C1))->_output_stream/*4*/)));
}/*]*/
/*]*/
/*[IRF3.5put_string*/r544put_string(((T544*)((((T324*)((T324*)(oBC364cpp))))->_current_out/*56*/)),((T0*)ms101_470));
/*]*/
/*[IRF3.5put_character*//*[IRF3.6put_character*/{T544* C1=((T544*)((((T324*)((T324*)(oBC364cpp))))->_current_out/*56*/));
char b1='\51';
putc(b1,((FILE*)((((T544*)C1))->_output_stream/*4*/)));
}/*]*/
/*]*/
/*[IRF3.5put_character*//*[IRF3.6put_character*/{T544* C1=((T544*)((((T324*)((T324*)(oBC364cpp))))->_current_out/*56*/));
char b1='\50';
putc(b1,((FILE*)((((T544*)C1))->_output_stream/*4*/)));
}/*]*/
/*]*/
r324put_target_as_value(((T324*)(oBC364cpp)));
/*[IRF3.5put_character*//*[IRF3.6put_character*/{T544* C1=((T544*)((((T324*)((T324*)(oBC364cpp))))->_current_out/*56*/));
char b1='\51';
putc(b1,((FILE*)((((T544*)C1))->_output_stream/*4*/)));
}/*]*/
/*]*/
/*[IRF3.5put_character*//*[IRF3.6put_character*/{T544* C1=((T544*)((((T324*)((T324*)(oBC364cpp))))->_current_out/*56*/));
char b1='\51';
putc(b1,((FILE*)((((T544*)C1))->_output_stream/*4*/)));
}/*]*/
/*]*/
}
else {
/*[IRF3.5put_string*/r544put_string(((T544*)((((T324*)((T324*)(oBC364cpp))))->_current_out/*56*/)),a2);
/*]*/
/*[IRF3.5put_character*//*[IRF3.6put_character*/{T544* C1=((T544*)((((T324*)((T324*)(oBC364cpp))))->_current_out/*56*/));
char b1='\50';
putc(b1,((FILE*)((((T544*)C1))->_output_stream/*4*/)));
}/*]*/
/*]*/
r324put_target_as_value(((T324*)(oBC364cpp)));
/*[IRF3.5put_character*//*[IRF3.6put_character*/{T544* C1=((T544*)((((T324*)((T324*)(oBC364cpp))))->_current_out/*56*/));
char b1='\51';
putc(b1,((FILE*)((((T544*)C1))->_output_stream/*4*/)));
}/*]*/
/*]*/
}
/*FI*/}
/*No:NATIVE_SMALL_EIFFEL.us_and*/
/*No:NATIVE_SMALL_EIFFEL.us_put_0*/
/*No:NATIVE_SMALL_EIFFEL.us_from_pointer*/
/*No:NATIVE_SMALL_EIFFEL.us_pointer_bits*/
/*No:NATIVE_SMALL_EIFFEL.us_double_floor*/
/*No:NATIVE_SMALL_EIFFEL.us_slash_slash*/
/*No:NATIVE_SMALL_EIFFEL.us_integer_bits*/
/*No:NATIVE_SMALL_EIFFEL.fz_t0_star*/
/*No:NATIVE_SMALL_EIFFEL.us_stdout*/
/*No:NATIVE_SMALL_EIFFEL.us_put_1*/
/*No:NATIVE_SMALL_EIFFEL.us_item*/
void r85c_define_standard_twin(T0* a1,T0* a2){
/*IF*/if (X291is_basic_eiffel_expanded(a2)) {
}
 else if (X291is_expanded(a2)) {
/*IF*/if (X291is_dummy_expanded(a2)) {
}
 else if (r85native_array(a2)) {
}
else {
r892c_define_with_body(((T892*)a1),((T0*)ms63_85));
}
/*FI*/}
else {
/*IF*/if ((((T548*)((T548*)(oBC364gc_handler))))->_is_on/*0*/) {
/*[IRF3.3clear*/((((T7*)(((T7*)(oBC85body)))))->_count)=(0);
/*]*/
r7extend(((T7*)(oBC85body)),'R');
r7extend(((T7*)(oBC85body)),'\75');
r7extend(((T7*)(oBC85body)),'\50');
r7append(((T7*)(oBC85body)),((T0*)ms86_470));
X291gc_call_new_in(a2,oBC85body);
r7extend(((T7*)(oBC85body)),'\51');
r7append(((T7*)(oBC85body)),((T0*)ms134_470));
}
else {
r7copy(((T7*)(oBC85body)),((T0*)ms64_85));
}
/*FI*/r7extend(((T7*)(oBC85body)),'\52');
r7extend(((T7*)(oBC85body)),'\50');
r7extend(((T7*)(oBC85body)),'\50');
r7extend(((T7*)(oBC85body)),'T');
r2append_in(X291id(a2),oBC85body);
r7extend(((T7*)(oBC85body)),'\52');
r7extend(((T7*)(oBC85body)),'\51');
r7extend(((T7*)(oBC85body)),'R');
r7extend(((T7*)(oBC85body)),'\51');
r7extend(((T7*)(oBC85body)),'\75');
r7extend(((T7*)(oBC85body)),'\52');
r7extend(((T7*)(oBC85body)),'C');
r7append(((T7*)(oBC85body)),((T0*)ms134_470));
r892c_define_with_body(((T892*)a1),oBC85body);
}
/*FI*/}
/*No:NATIVE_SMALL_EIFFEL.us_pointer*/
/*No:NATIVE_SMALL_EIFFEL.us_se_remove*/
/*No:NATIVE_SMALL_EIFFEL.us_flush_stream*/
void r85c_mapping_double_function(T0* a1,T0* a2){
r324add_c_library(((T324*)(oBC364cpp)),((T0*)ms78_85));
/*IF*/if ((((T0*)ms44_473))==((void*)(a2))) {
/*[IRF3.5put_string*/r544put_string(((T544*)((((T324*)((T324*)(oBC364cpp))))->_current_out/*56*/)),((T0*)ms79_85));
/*]*/
r324put_target_as_value(((T324*)(oBC364cpp)));
/*[IRF3.5put_string*/r544put_string(((T544*)((((T324*)((T324*)(oBC364cpp))))->_current_out/*56*/)),((T0*)ms80_85));
/*]*/
r324put_arguments(((T324*)(oBC364cpp)));
/*[IRF3.5put_string*/r544put_string(((T544*)((((T324*)((T324*)(oBC364cpp))))->_current_out/*56*/)),((T0*)ms147_470));
/*]*/
}
 else if ((((T0*)ms68_473))==((void*)(a2))) {
/*[IRF3.5put_string*/r544put_string(((T544*)((((T324*)((T324*)(oBC364cpp))))->_current_out/*56*/)),((T0*)ms74_473));
/*]*/
/*[IRF3.5put_character*//*[IRF3.6put_character*/{T544* C1=((T544*)((((T324*)((T324*)(oBC364cpp))))->_current_out/*56*/));
char b1='\50';
putc(b1,((FILE*)((((T544*)C1))->_output_stream/*4*/)));
}/*]*/
/*]*/
r324put_target_as_value(((T324*)(oBC364cpp)));
/*[IRF3.5put_character*//*[IRF3.6put_character*/{T544* C1=((T544*)((((T324*)((T324*)(oBC364cpp))))->_current_out/*56*/));
char b1='\51';
putc(b1,((FILE*)((((T544*)C1))->_output_stream/*4*/)));
}/*]*/
/*]*/
}
 else if ((((T0*)ms138_473))==((void*)(a2))) {
/*[IRF3.5put_string*/r544put_string(((T544*)((((T324*)((T324*)(oBC364cpp))))->_current_out/*56*/)),((T0*)ms81_85));
/*]*/
r324put_target_as_value(((T324*)(oBC364cpp)));
/*[IRF3.5put_string*/r544put_string(((T544*)((((T324*)((T324*)(oBC364cpp))))->_current_out/*56*/)),((T0*)ms147_470));
/*]*/
}
 else if ((((T0*)ms136_473))==((void*)(a2))) {
/*[IRF3.5put_character*//*[IRF3.6put_character*/{T544* C1=((T544*)((((T324*)((T324*)(oBC364cpp))))->_current_out/*56*/));
char b1='\50';
putc(b1,((FILE*)((((T544*)C1))->_output_stream/*4*/)));
}/*]*/
/*]*/
/*[IRF3.5put_character*//*[IRF3.6put_character*/{T544* C1=((T544*)((((T324*)((T324*)(oBC364cpp))))->_current_out/*56*/));
char b1='\50';
putc(b1,((FILE*)((((T544*)C1))->_output_stream/*4*/)));
}/*]*/
/*]*/
/*[IRF3.5put_string*/r544put_string(((T544*)((((T324*)((T324*)(oBC364cpp))))->_current_out/*56*/)),((T0*)ms104_470));
/*]*/
/*[IRF3.5put_character*//*[IRF3.6put_character*/{T544* C1=((T544*)((((T324*)((T324*)(oBC364cpp))))->_current_out/*56*/));
char b1='\51';
putc(b1,((FILE*)((((T544*)C1))->_output_stream/*4*/)));
}/*]*/
/*]*/
/*[IRF3.5put_character*//*[IRF3.6put_character*/{T544* C1=((T544*)((((T324*)((T324*)(oBC364cpp))))->_current_out/*56*/));
char b1='\50';
putc(b1,((FILE*)((((T544*)C1))->_output_stream/*4*/)));
}/*]*/
/*]*/
r324put_target_as_value(((T324*)(oBC364cpp)));
/*[IRF3.5put_character*//*[IRF3.6put_character*/{T544* C1=((T544*)((((T324*)((T324*)(oBC364cpp))))->_current_out/*56*/));
char b1='\51';
putc(b1,((FILE*)((((T544*)C1))->_output_stream/*4*/)));
}/*]*/
/*]*/
/*[IRF3.5put_character*//*[IRF3.6put_character*/{T544* C1=((T544*)((((T324*)((T324*)(oBC364cpp))))->_current_out/*56*/));
char b1='\51';
putc(b1,((FILE*)((((T544*)C1))->_output_stream/*4*/)));
}/*]*/
/*]*/
}
 else if ((((((T7*)((T7*)a2)))->_count/*4*/)<=(2))&&((r892arg_count(((T892*)a1)))==(1))) {
/*[IRF3.5put_character*//*[IRF3.6put_character*/{T544* C1=((T544*)((((T324*)((T324*)(oBC364cpp))))->_current_out/*56*/));
char b1='\50';
putc(b1,((FILE*)((((T544*)C1))->_output_stream/*4*/)));
}/*]*/
/*]*/
r324put_target_as_value(((T324*)(oBC364cpp)));
/*[IRF3.5put_character*//*[IRF3.6put_character*/{T544* C1=((T544*)((((T324*)((T324*)(oBC364cpp))))->_current_out/*56*/));
char b1='\51';
putc(b1,((FILE*)((((T544*)C1))->_output_stream/*4*/)));
}/*]*/
/*]*/
/*[IRF3.5put_string*/r544put_string(((T544*)((((T324*)((T324*)(oBC364cpp))))->_current_out/*56*/)),a2);
/*]*/
/*[IRF3.5put_character*//*[IRF3.6put_character*/{T544* C1=((T544*)((((T324*)((T324*)(oBC364cpp))))->_current_out/*56*/));
char b1='\50';
putc(b1,((FILE*)((((T544*)C1))->_output_stream/*4*/)));
}/*]*/
/*]*/
r324put_arguments(((T324*)(oBC364cpp)));
/*[IRF3.5put_character*//*[IRF3.6put_character*/{T544* C1=((T544*)((((T324*)((T324*)(oBC364cpp))))->_current_out/*56*/));
char b1='\51';
putc(b1,((FILE*)((((T544*)C1))->_output_stream/*4*/)));
}/*]*/
/*]*/
}
else {
/*[IRF3.5put_string*/r544put_string(((T544*)((((T324*)((T324*)(oBC364cpp))))->_current_out/*56*/)),a2);
/*]*/
/*[IRF3.5put_character*//*[IRF3.6put_character*/{T544* C1=((T544*)((((T324*)((T324*)(oBC364cpp))))->_current_out/*56*/));
char b1='\50';
putc(b1,((FILE*)((((T544*)C1))->_output_stream/*4*/)));
}/*]*/
/*]*/
r324put_target_as_value(((T324*)(oBC364cpp)));
/*[IRF3.5put_character*//*[IRF3.6put_character*/{T544* C1=((T544*)((((T324*)((T324*)(oBC364cpp))))->_current_out/*56*/));
char b1='\51';
putc(b1,((FILE*)((((T544*)C1))->_output_stream/*4*/)));
}/*]*/
/*]*/
}
/*FI*/}
/*No:NATIVE_SMALL_EIFFEL.us_floor*/
/*No:NATIVE_SMALL_EIFFEL.fz_sizeof*/
/*No:NATIVE_SMALL_EIFFEL.us_double_bits*/
/*No:NATIVE_SMALL_EIFFEL.us_or_else*/
/*No:NATIVE_SMALL_EIFFEL.us_is_expanded_type*/
/*No:NATIVE_SMALL_EIFFEL.fz_00*/
/*No:NATIVE_SMALL_EIFFEL.us_stdin*/
/*No:NATIVE_SMALL_EIFFEL.fz_cast_void_star*/
void r85c_mapping_integer_function(T0* a1,T0* a2){
/*IF*/if ((r892arg_count(((T892*)a1)))==(1)) {
/*IF*/if ((((T0*)ms47_473))==((void*)(a2))) {
/*[IRF3.5put_character*//*[IRF3.6put_character*/{T544* C1=((T544*)((((T324*)((T324*)(oBC364cpp))))->_current_out/*56*/));
char b1='\50';
putc(b1,((FILE*)((((T544*)C1))->_output_stream/*4*/)));
}/*]*/
/*]*/
/*[IRF3.5put_character*//*[IRF3.6put_character*/{T544* C1=((T544*)((((T324*)((T324*)(oBC364cpp))))->_current_out/*56*/));
char b1='\50';
putc(b1,((FILE*)((((T544*)C1))->_output_stream/*4*/)));
}/*]*/
/*]*/
/*[IRF3.5put_string*/r544put_string(((T544*)((((T324*)((T324*)(oBC364cpp))))->_current_out/*56*/)),((T0*)ms101_470));
/*]*/
/*[IRF3.5put_character*//*[IRF3.6put_character*/{T544* C1=((T544*)((((T324*)((T324*)(oBC364cpp))))->_current_out/*56*/));
char b1='\51';
putc(b1,((FILE*)((((T544*)C1))->_output_stream/*4*/)));
}/*]*/
/*]*/
/*[IRF3.5put_character*//*[IRF3.6put_character*/{T544* C1=((T544*)((((T324*)((T324*)(oBC364cpp))))->_current_out/*56*/));
char b1='\50';
putc(b1,((FILE*)((((T544*)C1))->_output_stream/*4*/)));
}/*]*/
/*]*/
}
else {
/*[IRF3.5put_character*//*[IRF3.6put_character*/{T544* C1=((T544*)((((T324*)((T324*)(oBC364cpp))))->_current_out/*56*/));
char b1='\50';
putc(b1,((FILE*)((((T544*)C1))->_output_stream/*4*/)));
}/*]*/
/*]*/
}
/*FI*/r324put_target_as_value(((T324*)(oBC364cpp)));
/*IF*/if ((((T0*)ms47_473))==((void*)(a2))) {
/*[IRF3.5put_string*/r544put_string(((T544*)((((T324*)((T324*)(oBC364cpp))))->_current_out/*56*/)),((T0*)ms147_470));
/*]*/
}
else {
/*[IRF3.5put_character*//*[IRF3.6put_character*/{T544* C1=((T544*)((((T324*)((T324*)(oBC364cpp))))->_current_out/*56*/));
char b1='\51';
putc(b1,((FILE*)((((T544*)C1))->_output_stream/*4*/)));
}/*]*/
/*]*/
}
/*FI*//*IF*/if ((((T0*)ms48_473))==((void*)(a2))) {
/*[IRF3.5put_string*/r544put_string(((T544*)((((T324*)((T324*)(oBC364cpp))))->_current_out/*56*/)),((T0*)ms47_473));
/*]*/
}
 else if ((((T0*)ms30_473))==((void*)(a2))) {
/*[IRF3.5put_string*/r544put_string(((T544*)((((T324*)((T324*)(oBC364cpp))))->_current_out/*56*/)),((T0*)ms76_85));
/*]*/
}
else {
/*[IRF3.5put_string*/r544put_string(((T544*)((((T324*)((T324*)(oBC364cpp))))->_current_out/*56*/)),a2);
/*]*/
}
/*FI*//*[IRF3.5put_character*//*[IRF3.6put_character*/{T544* C1=((T544*)((((T324*)((T324*)(oBC364cpp))))->_current_out/*56*/));
char b1='\50';
putc(b1,((FILE*)((((T544*)C1))->_output_stream/*4*/)));
}/*]*/
/*]*/
r324put_arguments(((T324*)(oBC364cpp)));
/*[IRF3.5put_character*//*[IRF3.6put_character*/{T544* C1=((T544*)((((T324*)((T324*)(oBC364cpp))))->_current_out/*56*/));
char b1='\51';
putc(b1,((FILE*)((((T544*)C1))->_output_stream/*4*/)));
}/*]*/
/*]*/
}
 else if ((((T0*)ms132_473))==((void*)(a2))) {
/*[IRF3.5put_string*/r544put_string(((T544*)((((T324*)((T324*)(oBC364cpp))))->_current_out/*56*/)),((T0*)ms77_85));
/*]*/
r324put_target_as_value(((T324*)(oBC364cpp)));
/*[IRF3.5put_string*/r544put_string(((T544*)((((T324*)((T324*)(oBC364cpp))))->_current_out/*56*/)),((T0*)ms147_470));
/*]*/
}
 else if ((((T0*)ms131_473))==((void*)(a2))) {
r324put_target_as_value(((T324*)(oBC364cpp)));
}
else {
/*[IRF3.5put_string*/r544put_string(((T544*)((((T324*)((T324*)(oBC364cpp))))->_current_out/*56*/)),a2);
/*]*/
/*[IRF3.5put_character*//*[IRF3.6put_character*/{T544* C1=((T544*)((((T324*)((T324*)(oBC364cpp))))->_current_out/*56*/));
char b1='\50';
putc(b1,((FILE*)((((T544*)C1))->_output_stream/*4*/)));
}/*]*/
/*]*/
r324put_target_as_value(((T324*)(oBC364cpp)));
/*[IRF3.5put_character*//*[IRF3.6put_character*/{T544* C1=((T544*)((((T324*)((T324*)(oBC364cpp))))->_current_out/*56*/));
char b1='\51';
putc(b1,((FILE*)((((T544*)C1))->_output_stream/*4*/)));
}/*]*/
/*]*/
}
/*FI*/}
void r85mapping_bit_put_0(T0* a1,int a2){
r324put_target_as_value(((T324*)(oBC364cpp)));
/*[IRF3.5put_string*/r544put_string(((T544*)((((T324*)((T324*)(oBC364cpp))))->_current_out/*56*/)),((T0*)ms95_85));
/*]*/
/*IF*/if (X609is_c_char(a1)) {
/*[IRF3.5put_string*/r544put_string(((T544*)((((T324*)((T324*)(oBC364cpp))))->_current_out/*56*/)),((T0*)ms79_470));
/*]*/
}
else {
/*[IRF3.5put_string*/r544put_string(((T544*)((((T324*)((T324*)(oBC364cpp))))->_current_out/*56*/)),((T0*)ms111_470));
/*]*/
}
/*FI*//*[IRF3.5put_string*/r544put_string(((T544*)((((T324*)((T324*)(oBC364cpp))))->_current_out/*56*/)),((T0*)ms96_85));
/*]*/
/*IF*/if (X609is_c_int(a1)) {
/*[IRF3.5put_string*/r544put_string(((T544*)((((T324*)((T324*)(oBC364cpp))))->_current_out/*56*/)),((T0*)ms97_85));
/*]*/
}
/*FI*//*[IRF3.5put_string*/r544put_string(((T544*)((((T324*)((T324*)(oBC364cpp))))->_current_out/*56*/)),((T0*)ms98_85));
/*]*/
r324put_ith_argument(((T324*)(oBC364cpp)),a2);
/*[IRF3.5put_string*/r544put_string(((T544*)((((T324*)((T324*)(oBC364cpp))))->_current_out/*56*/)),((T0*)ms99_85));
/*]*/
}
void r85c_mapping_bit_procedure(T0* a1,T0* a2){
T0* _type_bit=NULL;
_type_bit=(((T906*)((T906*)a1)))->_current_type/*4*/;
if(NULL!=(_type_bit))switch(((T0*)_type_bit)->id) {
case 549: case 558: 
break;
default:
_type_bit=NULL;
};/*IF*/if ((a2)==((void*)(((T0*)ms105_473)))) {
/*IF*/if (X609is_c_unsigned_ptr(_type_bit)) {
r906default_mapping_procedure(((T906*)a1));
}
else {
r85mapping_bit_put_0(_type_bit,1);
}
/*FI*/}
 else if ((a2)==((void*)(((T0*)ms106_473)))) {
/*IF*/if (X609is_c_unsigned_ptr(_type_bit)) {
r906default_mapping_procedure(((T906*)a1));
}
else {
r85mapping_bit_put_1(_type_bit,1);
}
/*FI*/}
else {
/*IF*/if (X609is_c_unsigned_ptr(_type_bit)) {
r906default_mapping_procedure(((T906*)a1));
}
else {
/*[IRF3.5put_string*/r544put_string(((T544*)((((T324*)((T324*)(oBC364cpp))))->_current_out/*56*/)),((T0*)ms87_85));
/*]*/
r324put_ith_argument(((T324*)(oBC364cpp)),1);
/*[IRF3.5put_string*/r544put_string(((T544*)((((T324*)((T324*)(oBC364cpp))))->_current_out/*56*/)),((T0*)ms88_85));
/*]*/
r85mapping_bit_put_1(_type_bit,2);
/*[IRF3.5put_string*/r544put_string(((T544*)((((T324*)((T324*)(oBC364cpp))))->_current_out/*56*/)),((T0*)ms89_85));
/*]*/
r85mapping_bit_put_0(_type_bit,2);
/*[IRF3.5put_string*/r544put_string(((T544*)((((T324*)((T324*)(oBC364cpp))))->_current_out/*56*/)),((T0*)ms146_470));
/*]*/
}
/*FI*/}
/*FI*/}
/*No:NATIVE_SMALL_EIFFEL.us_slash*/
/*No:NATIVE_SMALL_EIFFEL.us_standard_twin*/
/*No:NATIVE_SMALL_EIFFEL.us_c_inline_c*/
/*No:NATIVE_SMALL_EIFFEL.us_truncated_to_integer*/
/*No:NATIVE_SMALL_EIFFEL.us_write_byte*/
/*No:NATIVE_SMALL_EIFFEL.us_stderr*/
void r85c_define_function(T0* a1,T0* a2,T0* a3){
T0* _rf7=NULL;
T0* _rf=NULL;
T0* _rc=NULL;
T0* _ct=NULL;
T0* _elt_type=NULL;
/*IF*/if ((((T0*)ms4_473))==((void*)(a2))) {
r85c_define_function_bit(a1,a3);
}
 else if ((((T0*)ms14_473))==((void*)(a2))) {
/*IF*/if (((((T0*)ms84_473))==((void*)(a3)))||((((T0*)ms122_473))==((void*)(a3)))) {
_ct=(((T892*)((T892*)a1)))->_current_type/*4*/;
_rc=X291run_class(_ct);
/*IF*/if ((X291is_basic_eiffel_expanded(_ct))||(r85native_array(_ct))) {
}
 else if (r355is_tagged(((T355*)_rc))) {
r892c_define_with_body(((T892*)a1),((T0*)ms26_85));
}
 else if ((r355writable_attributes(((T355*)_rc)))==((void*)(NULL))) {
/*IF*/if (r590boost(((T590*)(oBC364run_control)))) {
}
else {
r892c_define_with_body(((T892*)a1),((T0*)ms27_85));
}
/*FI*/}
 else if (r590boost(((T590*)(oBC364run_control)))) {
}
else {
r892c_define_with_body(((T892*)a1),((T0*)ms28_85));
}
/*FI*/}
 else if ((((T0*)ms123_473))==((void*)(a3))) {
r85c_define_standard_twin(a1,(((T892*)((T892*)a1)))->_current_type/*4*/);
}
 else if ((((T0*)ms139_473))==((void*)(a3))) {
_ct=(((T892*)((T892*)a1)))->_current_type/*4*/;
_rc=X291run_class(_ct);
_rf=r355get_copy(((T355*)_rc));
_rf7=_rf;
if(NULL!=(_rf7))switch(((T0*)_rf7)->id) {
case 906: 
break;
default:
_rf7=NULL;
};/*IF*/if ((_rf7)!=((void*)(NULL))) {
r85c_define_standard_twin(a1,_ct);
}
else {
r85c_define_twin(a1,_ct,_rc,_rf);
}
/*FI*/}
/*FI*/}
 else if ((((T0*)ms18_473))==((void*)(a2))) {
/*IF*/if ((((T0*)ms54_473))==((void*)(a3))) {
_ct=(((T892*)((T892*)a1)))->_current_type/*4*/;
_elt_type=X291run_type(r701item(((T701*)(X291generic_list(_ct))),1));
/*IF*/if ((X291expanded_initializer(_elt_type))!=((void*)(NULL))) {
r7copy(((T7*)(oBC85body)),((T0*)ms29_85));
r2append_in(X291id(_ct),oBC85body);
r7append(((T7*)(oBC85body)),((T0*)ms30_85));
r892c_define_with_body(((T892*)a1),oBC85body);
}
/*FI*/}
/*FI*/}
/*FI*/}
void r85c_mapping_standard_twin(T0* a1,T0* a2){
/*IF*/if (X291is_basic_eiffel_expanded(a2)) {
r324put_target_as_value(((T324*)(oBC364cpp)));
}
 else if (X291is_expanded(a2)) {
/*IF*/if (X291is_dummy_expanded(a2)) {
r324put_target_as_target(((T324*)(oBC364cpp)));
}
 else if (r85native_array(a2)) {
r324put_target_as_target(((T324*)(oBC364cpp)));
}
else {
r892default_mapping_function(((T892*)a1));
}
/*FI*/}
else {
r892default_mapping_function(((T892*)a1));
}
/*FI*/}
/*No:NATIVE_SMALL_EIFFEL.fz_12*/
/*No:NATIVE_SMALL_EIFFEL.us_se_system*/
void r85fe_nyi(T0* a1){
r683add_position(X496start_position(a1));
/*[IRF3.6append*/{T0* b1=((T0*)ms85_85);
r7append(((T7*)(oBC683explanation)),b1);
}/*]*/
/*[IRF3.6append*/{T0* b1=X291run_time_mark(/*X496*/((T0*)(((T832*)((T832*)a1)))->_current_type/*4*/));
r7append(((T7*)(oBC683explanation)),b1);
}/*]*/
/*[IRF3.6fatal_error*/{T0* b1=((T0*)ms86_85);
r683fatal_error(((T683*)(oBC364eh)),b1);
}/*]*/
}
/*No:NATIVE_SMALL_EIFFEL.us_sfw_open*/
/*No:NATIVE_SMALL_EIFFEL.us_sfr_open*/
/*No:NATIVE_SMALL_EIFFEL.us_character*/
/*No:NATIVE_SMALL_EIFFEL.us_shift_left*/
/*No:NATIVE_SMALL_EIFFEL.fz_13*/
/*No:NATIVE_SMALL_EIFFEL.us_bitn*/
/*No:NATIVE_SMALL_EIFFEL.fz_14*/
/*No:NATIVE_SMALL_EIFFEL.us_twin*/
void r85mapping_bit_put_1(T0* a1,int a2){
r324put_target_as_value(((T324*)(oBC364cpp)));
/*[IRF3.5put_string*/r544put_string(((T544*)((((T324*)((T324*)(oBC364cpp))))->_current_out/*56*/)),((T0*)ms90_85));
/*]*/
/*IF*/if (X609is_c_char(a1)) {
/*[IRF3.5put_string*/r544put_string(((T544*)((((T324*)((T324*)(oBC364cpp))))->_current_out/*56*/)),((T0*)ms79_470));
/*]*/
}
else {
/*[IRF3.5put_string*/r544put_string(((T544*)((((T324*)((T324*)(oBC364cpp))))->_current_out/*56*/)),((T0*)ms111_470));
/*]*/
}
/*FI*//*[IRF3.5put_string*/r544put_string(((T544*)((((T324*)((T324*)(oBC364cpp))))->_current_out/*56*/)),((T0*)ms91_85));
/*]*/
/*IF*/if (X609is_c_int(a1)) {
/*[IRF3.5put_string*/r544put_string(((T544*)((((T324*)((T324*)(oBC364cpp))))->_current_out/*56*/)),((T0*)ms92_85));
/*]*/
}
/*FI*//*[IRF3.5put_string*/r544put_string(((T544*)((((T324*)((T324*)(oBC364cpp))))->_current_out/*56*/)),((T0*)ms93_85));
/*]*/
r324put_ith_argument(((T324*)(oBC364cpp)),a2);
/*[IRF3.5put_string*/r544put_string(((T544*)((((T324*)((T324*)(oBC364cpp))))->_current_out/*56*/)),((T0*)ms94_85));
/*]*/
}
/*No:NATIVE_SMALL_EIFFEL.fz_new*/
/*No:NATIVE_SMALL_EIFFEL.us_bit_n*/
void r85c_define_procedure(T0* a1,T0* a2,T0* a3){
/*IF*/if ((((T0*)ms4_473))==((void*)(a2))) {
r85c_define_procedure_bit(a1,a3);
}
/*FI*/}
/*No:NATIVE_SMALL_EIFFEL.us_real*/
/*No:NATIVE_SMALL_EIFFEL.us_die_with_code*/
void r85c_define_function_bit(T0* a1,T0* a2){
int _no_check=0;
T0* _type_bit=NULL;
_type_bit=(((T892*)((T892*)a1)))->_current_type/*4*/;
if(NULL!=(_type_bit))switch(((T0*)_type_bit)->id) {
case 549: case 558: 
break;
default:
_type_bit=NULL;
};_no_check=r590no_check(((T590*)(oBC364run_control)));
/*IF*/if ((((T0*)ms60_473))==((void*)(a2))) {
}
 else if ((((T0*)ms86_473))==((void*)(a2))) {
/*IF*/if (X609is_c_unsigned_ptr(_type_bit)) {
r892c_define_with_body(((T892*)a1),((T0*)ms106_85));
}
 else if (_no_check) {
/*IF*/if (X609is_c_char(_type_bit)) {
r892c_define_with_body(((T892*)a1),((T0*)ms107_85));
}
else {
r892c_define_with_body(((T892*)a1),((T0*)ms108_85));
}
/*FI*/}
/*FI*/}
 else if ((((T0*)ms45_473))==((void*)(a2))) {
/*IF*/if (X609is_c_unsigned_ptr(_type_bit)) {
r7copy(((T7*)(oBC85body)),((T0*)ms109_85));
r2append_in(X609nb(_type_bit),oBC85body);
r7append(((T7*)(oBC85body)),((T0*)ms110_85));
r2append_in(X609nb(_type_bit),oBC85body);
r7append(((T7*)(oBC85body)),((T0*)ms111_85));
r2append_in(X609nb(_type_bit),oBC85body);
r7append(((T7*)(oBC85body)),((T0*)ms112_85));
r892c_define_with_body(((T892*)a1),oBC85body);
}
else {
r892c_define_with_body(((T892*)a1),((T0*)ms113_85));
}
/*FI*/}
 else if ((((T0*)ms46_473))==((void*)(a2))) {
/*IF*/if (X609is_c_unsigned_ptr(_type_bit)) {
r7copy(((T7*)(oBC85body)),((T0*)ms114_85));
r2append_in(X609nb(_type_bit),oBC85body);
r7append(((T7*)(oBC85body)),((T0*)ms115_85));
r892c_define_with_body(((T892*)a1),oBC85body);
}
else {
r892c_define_with_body(((T892*)a1),((T0*)ms116_85));
}
/*FI*/}
/*FI*/}
/*No:NATIVE_SMALL_EIFFEL.us_implies*/
T0*oBC85tmp_string=NULL;
/*No:NATIVE_SMALL_EIFFEL.fz_16*/
/*No:NATIVE_SMALL_EIFFEL.us_is_basic_expanded_type*/
/*No:NATIVE_SMALL_EIFFEL.us_generating_type*/
T0*oBC85body=NULL;
/*No:NATIVE_SMALL_EIFFEL.fz_17*/
/*No:NATIVE_SMALL_EIFFEL.us_shift_right*/
/*No:NATIVE_SMALL_EIFFEL.us_count*/
int r85stupid_switch(T0* a1){
int R=0;
/*IF*/if ((((T0*)ms78_473))==((void*)(a1))) {
R=1;
}
 else if ((((T0*)ms79_473))==((void*)(a1))) {
R=1;
}
 else if ((((T0*)ms135_473))==((void*)(a1))) {
R=1;
}
/*FI*/return R;
}
/*No:NATIVE_SMALL_EIFFEL.us_se_argc*/
/*No:NATIVE_SMALL_EIFFEL.us_object_size*/
/*No:NATIVE_SMALL_EIFFEL.fz_double*/
/*No:NATIVE_SMALL_EIFFEL.us_se_rename*/
/*No:NATIVE_SMALL_EIFFEL.us_code*/
/*No:NATIVE_SMALL_EIFFEL.us_memory*/
void r85c_mapping_procedure(T0* a1,T0* a2,T0* a3){
T0* _t=NULL;
/*IF*/if (((((T0*)ms64_473))==((void*)(a3)))||((((T0*)ms121_473))==((void*)(a3)))) {
_t=(((T906*)((T906*)a1)))->_current_type/*4*/;
/*IF*/if (X291is_reference(_t)) {
/*[IRF3.5put_string*/r544put_string(((T544*)((((T324*)((T324*)(oBC364cpp))))->_current_out/*56*/)),((T0*)ms1_85));
/*]*/
/*[IRF3.5put_integer*/r544put_integer(((T544*)((((T324*)((T324*)(oBC364cpp))))->_current_out/*56*/)),X291id(_t));
/*]*/
/*[IRF3.5put_string*/r544put_string(((T544*)((((T324*)((T324*)(oBC364cpp))))->_current_out/*56*/)),((T0*)ms2_85));
/*]*/
r324put_target_as_value(((T324*)(oBC364cpp)));
/*[IRF3.5put_string*/r544put_string(((T544*)((((T324*)((T324*)(oBC364cpp))))->_current_out/*56*/)),((T0*)ms3_85));
/*]*/
/*[IRF3.5put_integer*/r544put_integer(((T544*)((((T324*)((T324*)(oBC364cpp))))->_current_out/*56*/)),X291id(_t));
/*]*/
/*[IRF3.5put_string*/r544put_string(((T544*)((((T324*)((T324*)(oBC364cpp))))->_current_out/*56*/)),((T0*)ms4_85));
/*]*/
r324put_ith_argument(((T324*)(oBC364cpp)),1);
/*[IRF3.5put_string*/r544put_string(((T544*)((((T324*)((T324*)(oBC364cpp))))->_current_out/*56*/)),((T0*)ms150_470));
/*]*/
}
 else if (X291is_basic_eiffel_expanded(_t)) {
r324put_target_as_value(((T324*)(oBC364cpp)));
/*[IRF3.5put_string*/r544put_string(((T544*)((((T324*)((T324*)(oBC364cpp))))->_current_out/*56*/)),((T0*)ms134_470));
/*]*/
r324put_ith_argument(((T324*)(oBC364cpp)),1);
/*[IRF3.5put_string*/r544put_string(((T544*)((((T324*)((T324*)(oBC364cpp))))->_current_out/*56*/)),((T0*)ms134_470));
/*]*/
}
else {
/*[IRF3.5put_string*/r544put_string(((T544*)((((T324*)((T324*)(oBC364cpp))))->_current_out/*56*/)),((T0*)ms5_85));
/*]*/
r324put_target_as_target(((T324*)(oBC364cpp)));
/*[IRF3.5put_string*/r544put_string(((T544*)((((T324*)((T324*)(oBC364cpp))))->_current_out/*56*/)),((T0*)ms6_85));
/*]*/
/*[IRF3.5put_integer*/r544put_integer(((T544*)((((T324*)((T324*)(oBC364cpp))))->_current_out/*56*/)),X291id(_t));
/*]*/
/*[IRF3.5put_string*/r544put_string(((T544*)((((T324*)((T324*)(oBC364cpp))))->_current_out/*56*/)),((T0*)ms7_85));
/*]*/
r324put_ith_argument(((T324*)(oBC364cpp)),1);
/*[IRF3.5put_string*/r544put_string(((T544*)((((T324*)((T324*)(oBC364cpp))))->_current_out/*56*/)),((T0*)ms8_85));
/*]*/
}
/*FI*/}
 else if ((((T0*)ms75_473))==((void*)(a3))) {
/*IF*/if (r324target_cannot_be_dropped(((T324*)(oBC364cpp)))) {
/*[IRF3.5put_string*/r544put_string(((T544*)((((T324*)((T324*)(oBC364cpp))))->_current_out/*56*/)),((T0*)ms148_470));
/*]*/
}
/*FI*//*[IRF3.5put_string*/r544put_string(((T544*)((((T324*)((T324*)(oBC364cpp))))->_current_out/*56*/)),((T0*)ms9_85));
/*]*/
r324put_ith_argument(((T324*)(oBC364cpp)),1);
/*[IRF3.5put_string*/r544put_string(((T544*)((((T324*)((T324*)(oBC364cpp))))->_current_out/*56*/)),((T0*)ms148_470));
/*]*/
}
 else if ((((T0*)ms142_473))==((void*)(a3))) {
/*[IRF3.5put_string*/r544put_string(((T544*)((((T324*)((T324*)(oBC364cpp))))->_current_out/*56*/)),((T0*)ms10_85));
/*]*/
r324put_ith_argument(((T324*)(oBC364cpp)),2);
/*[IRF3.5put_string*/r544put_string(((T544*)((((T324*)((T324*)(oBC364cpp))))->_current_out/*56*/)),((T0*)ms11_85));
/*]*/
r324put_ith_argument(((T324*)(oBC364cpp)),1);
/*[IRF3.5put_string*/r544put_string(((T544*)((((T324*)((T324*)(oBC364cpp))))->_current_out/*56*/)),((T0*)ms12_85));
/*]*/
}
 else if ((((T0*)ms103_473))==((void*)(a3))) {
/*[IRF3.5put_string*/r544put_string(((T544*)((((T324*)((T324*)(oBC364cpp))))->_current_out/*56*/)),((T0*)ms13_85));
/*]*/
}
 else if ((((T0*)ms69_473))==((void*)(a3))) {
/*IF*/if (r324target_cannot_be_dropped(((T324*)(oBC364cpp)))) {
/*[IRF3.5put_string*/r544put_string(((T544*)((((T324*)((T324*)(oBC364cpp))))->_current_out/*56*/)),((T0*)ms148_470));
/*]*/
}
/*FI*//*[IRF3.5put_string*/r544put_string(((T544*)((((T324*)((T324*)(oBC364cpp))))->_current_out/*56*/)),((T0*)ms14_85));
/*]*/
r324put_ith_argument(((T324*)(oBC364cpp)),1);
/*[IRF3.5put_string*/r544put_string(((T544*)((((T324*)((T324*)(oBC364cpp))))->_current_out/*56*/)),((T0*)ms148_470));
/*]*/
}
 else if ((((T0*)ms116_473))==((void*)(a3))) {
/*[IRF3.5put_string*/r544put_string(((T544*)((((T324*)((T324*)(oBC364cpp))))->_current_out/*56*/)),((T0*)ms15_85));
/*]*/
}
 else if ((((T0*)ms65_473))==((void*)(a3))) {
r324put_c_inline_c(((T324*)(oBC364cpp)));
}
 else if ((((T0*)ms66_473))==((void*)(a3))) {
r324put_c_inline_h(((T324*)(oBC364cpp)));
}
 else if ((((T0*)ms137_473))==((void*)(a3))) {
r324put_trace_switch(((T324*)(oBC364cpp)));
}
 else if ((((T0*)ms18_473))==((void*)(a2))) {
r85c_mapping_native_array_procedure(a1,a3);
}
 else if ((((T0*)ms17_473))==((void*)(a3))) {
/*IF*/if ((((T0*)ms76_473))==((void*)(a3))) {
/*IF*/if ((((T548*)((T548*)(oBC364gc_handler))))->_is_on/*0*/) {
/*IF*/if (r324cannot_drop_all(((T324*)(oBC364cpp)))) {
/*[IRF3.5put_string*/r544put_string(((T544*)((((T324*)((T324*)(oBC364cpp))))->_current_out/*56*/)),((T0*)ms148_470));
/*]*/
}
/*FI*/}
else {
/*[IRF3.5put_string*/r544put_string(((T544*)((((T324*)((T324*)(oBC364cpp))))->_current_out/*56*/)),((T0*)ms76_473));
/*]*/
/*[IRF3.5put_character*//*[IRF3.6put_character*/{T544* C1=((T544*)((((T324*)((T324*)(oBC364cpp))))->_current_out/*56*/));
char b1='\50';
putc(b1,((FILE*)((((T544*)C1))->_output_stream/*4*/)));
}/*]*/
/*]*/
r324put_ith_argument(((T324*)(oBC364cpp)),1);
/*[IRF3.5put_string*/r544put_string(((T544*)((((T324*)((T324*)(oBC364cpp))))->_current_out/*56*/)),((T0*)ms148_470));
/*]*/
}
/*FI*/}
/*FI*/}
 else if ((((T0*)ms4_473))==((void*)(a2))) {
r85c_mapping_bit_procedure(a1,a3);
}
 else if ((((T0*)ms120_473))==((void*)(a3))) {
/*[IRF3.5put_string*/r544put_string(((T544*)((((T324*)((T324*)(oBC364cpp))))->_current_out/*56*/)),((T0*)ms16_85));
/*]*/
r324put_target_as_value(((T324*)(oBC364cpp)));
/*[IRF3.5put_string*/r544put_string(((T544*)((((T324*)((T324*)(oBC364cpp))))->_current_out/*56*/)),((T0*)ms17_85));
/*]*/
r324put_ith_argument(((T324*)(oBC364cpp)),1);
/*[IRF3.5put_string*/r544put_string(((T544*)((((T324*)((T324*)(oBC364cpp))))->_current_out/*56*/)),((T0*)ms18_85));
/*]*/
}
 else if ((((T0*)ms119_473))==((void*)(a3))) {
/*[IRF3.3sprintf_double_is_used*/((((T324*)(((T324*)(oBC364cpp)))))->_sprintf_double_flag)=(1);
/*]*/
/*[IRF3.5put_string*/r544put_string(((T544*)((((T324*)((T324*)(oBC364cpp))))->_current_out/*56*/)),((T0*)ms19_85));
/*]*/
r324put_target_as_value(((T324*)(oBC364cpp)));
/*[IRF3.5put_string*/r544put_string(((T544*)((((T324*)((T324*)(oBC364cpp))))->_current_out/*56*/)),((T0*)ms20_85));
/*]*/
r324put_ith_argument(((T324*)(oBC364cpp)),2);
/*[IRF3.5put_string*/r544put_string(((T544*)((((T324*)((T324*)(oBC364cpp))))->_current_out/*56*/)),((T0*)ms21_85));
/*]*/
r324put_ith_argument(((T324*)(oBC364cpp)),1);
/*[IRF3.5put_string*/r544put_string(((T544*)((((T324*)((T324*)(oBC364cpp))))->_current_out/*56*/)),((T0*)ms22_85));
/*]*/
}
 else if ((((T0*)ms114_473))==((void*)(a3))) {
/*[IRF3.5put_string*/r544put_string(((T544*)((((T324*)((T324*)(oBC364cpp))))->_current_out/*56*/)),((T0*)ms23_85));
/*]*/
r324put_ith_argument(((T324*)(oBC364cpp)),2);
/*[IRF3.5put_string*/r544put_string(((T544*)((((T324*)((T324*)(oBC364cpp))))->_current_out/*56*/)),((T0*)ms24_85));
/*]*/
r324put_ith_argument(((T324*)(oBC364cpp)),4);
/*[IRF3.5put_string*/r544put_string(((T544*)((((T324*)((T324*)(oBC364cpp))))->_current_out/*56*/)),((T0*)ms150_470));
/*]*/
}
 else if ((((T0*)ms113_473))==((void*)(a3))) {
/*[IRF3.5put_string*/r544put_string(((T544*)((((T324*)((T324*)(oBC364cpp))))->_current_out/*56*/)),((T0*)ms25_85));
/*]*/
r324put_ith_argument(((T324*)(oBC364cpp)),2);
/*[IRF3.5put_string*/r544put_string(((T544*)((((T324*)((T324*)(oBC364cpp))))->_current_out/*56*/)),((T0*)ms150_470));
/*]*/
}
/*FI*/}
/*No:NATIVE_SMALL_EIFFEL.us_standard_is_equal*/
/*No:NATIVE_SMALL_EIFFEL.us_sprintf_pointer*/
int r85native_array(T0* a1){
int R=0;
R=((((T451*)((T451*)(X291base_class_name(a1)))))->_to_string/*0*/)==((void*)(((T0*)ms18_473)));
return R;
}
/*No:NATIVE_SMALL_EIFFEL.us_boolean*/
/*No:NATIVE_SMALL_EIFFEL.fz_c_eq*/
void r85c_define_procedure_bit(T0* a1,T0* a2){
T0* _type_bit=NULL;
_type_bit=(((T906*)((T906*)a1)))->_current_type/*4*/;
if(NULL!=(_type_bit))switch(((T0*)_type_bit)->id) {
case 549: case 558: 
break;
default:
_type_bit=NULL;
};/*IF*/if ((((T0*)ms105_473))==((void*)(a2))) {
/*IF*/if (X609is_c_unsigned_ptr(_type_bit)) {
r906c_define_with_body(((T906*)a1),((T0*)ms82_85));
}
/*FI*/}
 else if ((((T0*)ms106_473))==((void*)(a2))) {
/*IF*/if (X609is_c_unsigned_ptr(_type_bit)) {
r906c_define_with_body(((T906*)a1),((T0*)ms83_85));
}
/*FI*/}
 else if ((((T0*)ms104_473))==((void*)(a2))) {
/*IF*/if (X609is_c_unsigned_ptr(_type_bit)) {
r906c_define_with_body(((T906*)a1),((T0*)ms84_85));
}
/*FI*/}
/*FI*/}
/*No:NATIVE_SMALL_EIFFEL.us_pointer_size*/
/*No:NATIVE_SMALL_EIFFEL.fz_float*/
/*No:NATIVE_SMALL_EIFFEL.us_double*/
/*No:NATIVE_SMALL_EIFFEL.us_to_double*/
void r85c_mapping_function(T0* a1,T0* a2,T0* a3){
T0* _rf7=NULL;
T0* _rf=NULL;
T0* _rc=NULL;
T0* _ct=NULL;
int _cbd=0;
/*IF*/if ((((T0*)ms124_473))==((void*)(a3))) {
/*[IRF3.5put_string*/r544put_string(((T544*)((((T324*)((T324*)(oBC364cpp))))->_current_out/*56*/)),((T0*)ms124_473));
/*]*/
}
 else if ((((T0*)ms125_473))==((void*)(a3))) {
/*[IRF3.5put_string*/r544put_string(((T544*)((((T324*)((T324*)(oBC364cpp))))->_current_out/*56*/)),((T0*)ms125_473));
/*]*/
}
 else if ((((T0*)ms126_473))==((void*)(a3))) {
/*[IRF3.5put_string*/r544put_string(((T544*)((((T324*)((T324*)(oBC364cpp))))->_current_out/*56*/)),((T0*)ms126_473));
/*]*/
}
 else if ((((T0*)ms14_473))==((void*)(a2))) {
/*IF*/if ((((T0*)ms78_473))==((void*)(a3))) {
r324put_generating_type(((T324*)(oBC364cpp)),(((T892*)((T892*)a1)))->_current_type/*4*/);
}
 else if ((((T0*)ms79_473))==((void*)(a3))) {
r324put_generator(((T324*)(oBC364cpp)),(((T892*)((T892*)a1)))->_current_type/*4*/);
}
 else if ((((T0*)ms135_473))==((void*)(a3))) {
r324put_to_pointer(((T324*)(oBC364cpp)));
}
 else if ((((T0*)ms98_473))==((void*)(a3))) {
r324put_object_size(((T324*)(oBC364cpp)),(((T892*)((T892*)a1)))->_current_type/*4*/);
}
 else if (((((T0*)ms84_473))==((void*)(a3)))||((((T0*)ms122_473))==((void*)(a3)))) {
_ct=(((T892*)((T892*)a1)))->_current_type/*4*/;
_rc=X291run_class(_ct);
/*IF*/if ((X291is_basic_eiffel_expanded(_ct))||(r85native_array(_ct))) {
/*[IRF3.5put_character*//*[IRF3.6put_character*/{T544* C1=((T544*)((((T324*)((T324*)(oBC364cpp))))->_current_out/*56*/));
char b1='\50';
putc(b1,((FILE*)((((T544*)C1))->_output_stream/*4*/)));
}/*]*/
/*]*/
r324put_target_as_value(((T324*)(oBC364cpp)));
/*[IRF3.5put_character*//*[IRF3.6put_character*/{T544* C1=((T544*)((((T324*)((T324*)(oBC364cpp))))->_current_out/*56*/));
char b1='\51';
putc(b1,((FILE*)((((T544*)C1))->_output_stream/*4*/)));
}/*]*/
/*]*/
/*[IRF3.5put_string*/r544put_string(((T544*)((((T324*)((T324*)(oBC364cpp))))->_current_out/*56*/)),((T0*)ms87_470));
/*]*/
/*[IRF3.5put_character*//*[IRF3.6put_character*/{T544* C1=((T544*)((((T324*)((T324*)(oBC364cpp))))->_current_out/*56*/));
char b1='\50';
putc(b1,((FILE*)((((T544*)C1))->_output_stream/*4*/)));
}/*]*/
/*]*/
r324put_ith_argument(((T324*)(oBC364cpp)),1);
/*[IRF3.5put_character*//*[IRF3.6put_character*/{T544* C1=((T544*)((((T324*)((T324*)(oBC364cpp))))->_current_out/*56*/));
char b1='\51';
putc(b1,((FILE*)((((T544*)C1))->_output_stream/*4*/)));
}/*]*/
/*]*/
}
 else if (r355is_tagged(((T355*)_rc))) {
r892default_mapping_function(((T892*)a1));
}
 else if ((r355writable_attributes(((T355*)_rc)))==((void*)(NULL))) {
/*IF*/if (r590boost(((T590*)(oBC364run_control)))) {
_cbd=r324cannot_drop_all(((T324*)(oBC364cpp)));
/*IF*/if (_cbd) {
/*[IRF3.5put_character*//*[IRF3.6put_character*/{T544* C1=((T544*)((((T324*)((T324*)(oBC364cpp))))->_current_out/*56*/));
char b1='\54';
putc(b1,((FILE*)((((T544*)C1))->_output_stream/*4*/)));
}/*]*/
/*]*/
}
/*FI*//*[IRF3.5put_character*//*[IRF3.6put_character*/{T544* C1=((T544*)((((T324*)((T324*)(oBC364cpp))))->_current_out/*56*/));
char b1='1';
putc(b1,((FILE*)((((T544*)C1))->_output_stream/*4*/)));
}/*]*/
/*]*/
/*IF*/if (_cbd) {
/*[IRF3.5put_character*//*[IRF3.6put_character*/{T544* C1=((T544*)((((T324*)((T324*)(oBC364cpp))))->_current_out/*56*/));
char b1='\51';
putc(b1,((FILE*)((((T544*)C1))->_output_stream/*4*/)));
}/*]*/
/*]*/
}
/*FI*/}
else {
r892default_mapping_function(((T892*)a1));
}
/*FI*/}
 else if (r590boost(((T590*)(oBC364run_control)))) {
/*[IRF3.5put_string*/r544put_string(((T544*)((((T324*)((T324*)(oBC364cpp))))->_current_out/*56*/)),((T0*)ms31_85));
/*]*/
r324put_target_as_target(((T324*)(oBC364cpp)));
/*[IRF3.5put_character*//*[IRF3.6put_character*/{T544* C1=((T544*)((((T324*)((T324*)(oBC364cpp))))->_current_out/*56*/));
char b1='\54';
putc(b1,((FILE*)((((T544*)C1))->_output_stream/*4*/)));
}/*]*/
/*]*/
r324put_ith_argument(((T324*)(oBC364cpp)),1);
/*[IRF3.5put_string*/r544put_string(((T544*)((((T324*)((T324*)(oBC364cpp))))->_current_out/*56*/)),((T0*)ms32_85));
/*]*/
/*[IRF3.5put_integer*/r544put_integer(((T544*)((((T324*)((T324*)(oBC364cpp))))->_current_out/*56*/)),(((T355*)((T355*)_rc)))->_id/*4*/);
/*]*/
/*[IRF3.5put_string*/r544put_string(((T544*)((((T324*)((T324*)(oBC364cpp))))->_current_out/*56*/)),((T0*)ms147_470));
/*]*/
}
else {
r892default_mapping_function(((T892*)a1));
}
/*FI*/}
 else if ((((T0*)ms123_473))==((void*)(a3))) {
r85c_mapping_standard_twin(a1,(((T892*)((T892*)a1)))->_current_type/*4*/);
}
 else if ((((T0*)ms139_473))==((void*)(a3))) {
_ct=(((T892*)((T892*)a1)))->_current_type/*4*/;
_rc=X291run_class(_ct);
_rf=r355get_copy(((T355*)_rc));
_rf7=_rf;
if(NULL!=(_rf7))switch(((T0*)_rf7)->id) {
case 906: 
break;
default:
_rf7=NULL;
};/*IF*/if ((_rf7)!=((void*)(NULL))) {
r85c_mapping_standard_twin(a1,_ct);
}
else {
r892default_mapping_function(((T892*)a1));
}
/*FI*/}
 else if ((((T0*)ms82_473))==((void*)(a3))) {
_cbd=r324cannot_drop_all(((T324*)(oBC364cpp)));
/*IF*/if (_cbd) {
/*[IRF3.5put_character*//*[IRF3.6put_character*/{T544* C1=((T544*)((((T324*)((T324*)(oBC364cpp))))->_current_out/*56*/));
char b1='\54';
putc(b1,((FILE*)((((T544*)C1))->_output_stream/*4*/)));
}/*]*/
/*]*/
}
/*FI*//*IF*/if (X291is_basic_eiffel_expanded((((T892*)((T892*)a1)))->_current_type/*4*/)) {
/*[IRF3.5put_character*//*[IRF3.6put_character*/{T544* C1=((T544*)((((T324*)((T324*)(oBC364cpp))))->_current_out/*56*/));
char b1='1';
putc(b1,((FILE*)((((T544*)C1))->_output_stream/*4*/)));
}/*]*/
/*]*/
}
else {
/*[IRF3.5put_character*//*[IRF3.6put_character*/{T544* C1=((T544*)((((T324*)((T324*)(oBC364cpp))))->_current_out/*56*/));
char b1='0';
putc(b1,((FILE*)((((T544*)C1))->_output_stream/*4*/)));
}/*]*/
/*]*/
}
/*FI*//*IF*/if (_cbd) {
/*[IRF3.5put_character*//*[IRF3.6put_character*/{T544* C1=((T544*)((((T324*)((T324*)(oBC364cpp))))->_current_out/*56*/));
char b1='\51';
putc(b1,((FILE*)((((T544*)C1))->_output_stream/*4*/)));
}/*]*/
/*]*/
}
/*FI*/}
 else if ((((T0*)ms83_473))==((void*)(a3))) {
_cbd=r324cannot_drop_all(((T324*)(oBC364cpp)));
/*IF*/if (_cbd) {
/*[IRF3.5put_character*//*[IRF3.6put_character*/{T544* C1=((T544*)((((T324*)((T324*)(oBC364cpp))))->_current_out/*56*/));
char b1='\54';
putc(b1,((FILE*)((((T544*)C1))->_output_stream/*4*/)));
}/*]*/
/*]*/
}
/*FI*//*IF*/if (X291is_expanded((((T892*)((T892*)a1)))->_current_type/*4*/)) {
/*[IRF3.5put_character*//*[IRF3.6put_character*/{T544* C1=((T544*)((((T324*)((T324*)(oBC364cpp))))->_current_out/*56*/));
char b1='1';
putc(b1,((FILE*)((((T544*)C1))->_output_stream/*4*/)));
}/*]*/
/*]*/
}
else {
/*[IRF3.5put_character*//*[IRF3.6put_character*/{T544* C1=((T544*)((((T324*)((T324*)(oBC364cpp))))->_current_out/*56*/));
char b1='0';
putc(b1,((FILE*)((((T544*)C1))->_output_stream/*4*/)));
}/*]*/
/*]*/
}
/*FI*//*IF*/if (_cbd) {
/*[IRF3.5put_character*//*[IRF3.6put_character*/{T544* C1=((T544*)((((T324*)((T324*)(oBC364cpp))))->_current_out/*56*/));
char b1='\51';
putc(b1,((FILE*)((((T544*)C1))->_output_stream/*4*/)));
}/*]*/
/*]*/
}
/*FI*/}
 else if ((((T0*)ms110_473))==((void*)(a3))) {
/*[IRF3.5put_string*/r544put_string(((T544*)((((T324*)((T324*)(oBC364cpp))))->_current_out/*56*/)),((T0*)ms110_473));
/*]*/
}
 else if ((((T0*)ms111_473))==((void*)(a3))) {
/*[IRF3.5put_string*/r544put_string(((T544*)((((T324*)((T324*)(oBC364cpp))))->_current_out/*56*/)),((T0*)ms33_85));
/*]*/
}
 else if ((((T0*)ms112_473))==((void*)(a3))) {
/*[IRF3.5put_string*/r544put_string(((T544*)((((T324*)((T324*)(oBC364cpp))))->_current_out/*56*/)),((T0*)ms34_85));
/*]*/
}
/*FI*/}
 else if ((((T0*)ms18_473))==((void*)(a2))) {
r85c_mapping_native_array_function(a1,a3);
}
 else if ((((T0*)ms15_473))==((void*)(a2))) {
r85c_mapping_integer_function(a1,a3);
}
 else if ((((T0*)ms23_473))==((void*)(a2))) {
r85c_mapping_real_function(a1,a3);
}
 else if ((((T0*)ms11_473))==((void*)(a2))) {
r85c_mapping_double_function(a1,a3);
}
 else if ((((T0*)ms6_473))==((void*)(a2))) {
/*IF*/if ((((T0*)ms34_473))==((void*)(a3))) {
/*[IRF3.5put_string*/r544put_string(((T544*)((((T324*)((T324*)(oBC364cpp))))->_current_out/*56*/)),((T0*)ms35_85));
/*]*/
r324put_target_as_value(((T324*)(oBC364cpp)));
/*[IRF3.5put_string*/r544put_string(((T544*)((((T324*)((T324*)(oBC364cpp))))->_current_out/*56*/)),((T0*)ms36_85));
/*]*/
r324put_arguments(((T324*)(oBC364cpp)));
/*[IRF3.5put_character*//*[IRF3.6put_character*/{T544* C1=((T544*)((((T324*)((T324*)(oBC364cpp))))->_current_out/*56*/));
char b1='\51';
putc(b1,((FILE*)((((T544*)C1))->_output_stream/*4*/)));
}/*]*/
/*]*/
}
else {
/*[IRF3.5put_character*//*[IRF3.6put_character*/{T544* C1=((T544*)((((T324*)((T324*)(oBC364cpp))))->_current_out/*56*/));
char b1='\50';
putc(b1,((FILE*)((((T544*)C1))->_output_stream/*4*/)));
}/*]*/
/*]*/
r324put_target_as_value(((T324*)(oBC364cpp)));
/*IF*/if ((((T0*)ms42_473))==((void*)(a3))) {
/*[IRF3.5put_string*/r544put_string(((T544*)((((T324*)((T324*)(oBC364cpp))))->_current_out/*56*/)),((T0*)ms37_85));
/*]*/
}
else {
/*[IRF3.5put_string*/r544put_string(((T544*)((((T324*)((T324*)(oBC364cpp))))->_current_out/*56*/)),((T0*)ms38_85));
/*]*/
}
/*FI*/r324put_arguments(((T324*)(oBC364cpp)));
/*[IRF3.5put_character*//*[IRF3.6put_character*/{T544* C1=((T544*)((((T324*)((T324*)(oBC364cpp))))->_current_out/*56*/));
char b1='\51';
putc(b1,((FILE*)((((T544*)C1))->_output_stream/*4*/)));
}/*]*/
/*]*/
}
/*FI*/}
 else if ((((T0*)ms8_473))==((void*)(a2))) {
/*IF*/if ((((T0*)ms62_473))==((void*)(a3))) {
/*[IRF3.5put_string*/r544put_string(((T544*)((((T324*)((T324*)(oBC364cpp))))->_current_out/*56*/)),((T0*)ms39_85));
/*]*/
r324put_target_as_value(((T324*)(oBC364cpp)));
/*[IRF3.5put_character*//*[IRF3.6put_character*/{T544* C1=((T544*)((((T324*)((T324*)(oBC364cpp))))->_current_out/*56*/));
char b1='\51';
putc(b1,((FILE*)((((T544*)C1))->_output_stream/*4*/)));
}/*]*/
/*]*/
}
else {
r324put_target_as_value(((T324*)(oBC364cpp)));
}
/*FI*/}
 else if ((((T0*)ms21_473))==((void*)(a2))) {
/*[IRF3.5put_string*/r544put_string(((T544*)((((T324*)((T324*)(oBC364cpp))))->_current_out/*56*/)),((T0*)ms40_85));
/*]*/
r324put_target_as_value(((T324*)(oBC364cpp)));
/*[IRF3.5put_character*//*[IRF3.6put_character*/{T544* C1=((T544*)((((T324*)((T324*)(oBC364cpp))))->_current_out/*56*/));
char b1='\51';
putc(b1,((FILE*)((((T544*)C1))->_output_stream/*4*/)));
}/*]*/
/*]*/
}
 else if ((((T0*)ms20_473))==((void*)(a2))) {
_cbd=r324target_cannot_be_dropped(((T324*)(oBC364cpp)));
/*IF*/if (_cbd) {
/*[IRF3.5put_character*//*[IRF3.6put_character*/{T544* C1=((T544*)((((T324*)((T324*)(oBC364cpp))))->_current_out/*56*/));
char b1='\54';
putc(b1,((FILE*)((((T544*)C1))->_output_stream/*4*/)));
}/*]*/
/*]*/
}
else {
/*[IRF3.5put_character*//*[IRF3.6put_character*/{T544* C1=((T544*)((((T324*)((T324*)(oBC364cpp))))->_current_out/*56*/));
char b1='\40';
putc(b1,((FILE*)((((T544*)C1))->_output_stream/*4*/)));
}/*]*/
/*]*/
}
/*FI*//*IF*/if ((((T0*)ms56_473))==((void*)(a3))) {
/*[IRF3.5put_string*/r544put_string(((T544*)((((T324*)((T324*)(oBC364cpp))))->_current_out/*56*/)),((T0*)ms41_85));
/*]*/
}
 else if (((((T0*)ms81_473))==((void*)(a3)))||((((T0*)ms53_473))==((void*)(a3)))) {
/*[IRF3.5put_string*/r544put_string(((T544*)((((T324*)((T324*)(oBC364cpp))))->_current_out/*56*/)),((T0*)ms42_85));
/*]*/
}
 else if ((((T0*)ms108_473))==((void*)(a3))) {
/*[IRF3.5put_string*/r544put_string(((T544*)((((T324*)((T324*)(oBC364cpp))))->_current_out/*56*/)),((T0*)ms43_85));
/*]*/
}
 else if ((((T0*)ms67_473))==((void*)(a3))) {
/*[IRF3.5put_string*/r544put_string(((T544*)((((T324*)((T324*)(oBC364cpp))))->_current_out/*56*/)),((T0*)ms44_85));
/*]*/
}
 else if ((((T0*)ms99_473))==((void*)(a3))) {
/*[IRF3.5put_string*/r544put_string(((T544*)((((T324*)((T324*)(oBC364cpp))))->_current_out/*56*/)),((T0*)ms45_85));
/*]*/
}
 else if ((((T0*)ms90_473))==((void*)(a3))) {
/*[IRF3.5put_string*/r544put_string(((T544*)((((T324*)((T324*)(oBC364cpp))))->_current_out/*56*/)),((T0*)ms46_85));
/*]*/
}
 else if ((((T0*)ms91_473))==((void*)(a3))) {
/*[IRF3.5put_string*/r544put_string(((T544*)((((T324*)((T324*)(oBC364cpp))))->_current_out/*56*/)),((T0*)ms47_85));
/*]*/
}
 else if ((((T0*)ms92_473))==((void*)(a3))) {
/*[IRF3.5put_string*/r544put_string(((T544*)((((T324*)((T324*)(oBC364cpp))))->_current_out/*56*/)),((T0*)ms48_85));
/*]*/
}
 else if ((((T0*)ms93_473))==((void*)(a3))) {
/*[IRF3.5put_string*/r544put_string(((T544*)((((T324*)((T324*)(oBC364cpp))))->_current_out/*56*/)),((T0*)ms49_85));
/*]*/
}
 else if ((((T0*)ms94_473))==((void*)(a3))) {
/*[IRF3.5put_string*/r544put_string(((T544*)((((T324*)((T324*)(oBC364cpp))))->_current_out/*56*/)),((T0*)ms50_85));
/*]*/
}
 else if ((((T0*)ms95_473))==((void*)(a3))) {
/*[IRF3.5put_string*/r544put_string(((T544*)((((T324*)((T324*)(oBC364cpp))))->_current_out/*56*/)),((T0*)ms51_85));
/*]*/
}
 else if ((((T0*)ms96_473))==((void*)(a3))) {
/*[IRF3.5put_string*/r544put_string(((T544*)((((T324*)((T324*)(oBC364cpp))))->_current_out/*56*/)),((T0*)ms52_85));
/*]*/
}
 else if ((((T0*)ms97_473))==((void*)(a3))) {
/*[IRF3.5put_string*/r544put_string(((T544*)((((T324*)((T324*)(oBC364cpp))))->_current_out/*56*/)),((T0*)ms53_85));
/*]*/
}
/*FI*//*IF*/if (_cbd) {
/*[IRF3.5put_character*//*[IRF3.6put_character*/{T544* C1=((T544*)((((T324*)((T324*)(oBC364cpp))))->_current_out/*56*/));
char b1='\51';
putc(b1,((FILE*)((((T544*)C1))->_output_stream/*4*/)));
}/*]*/
/*]*/
}
else {
/*[IRF3.5put_character*//*[IRF3.6put_character*/{T544* C1=((T544*)((((T324*)((T324*)(oBC364cpp))))->_current_out/*56*/));
char b1='\40';
putc(b1,((FILE*)((((T544*)C1))->_output_stream/*4*/)));
}/*]*/
/*]*/
}
/*FI*/}
 else if ((((T0*)ms71_473))==((void*)(a3))) {
_cbd=r324cannot_drop_all(((T324*)(oBC364cpp)));
/*IF*/if (_cbd) {
/*[IRF3.5put_character*//*[IRF3.6put_character*/{T544* C1=((T544*)((((T324*)((T324*)(oBC364cpp))))->_current_out/*56*/));
char b1='\54';
putc(b1,((FILE*)((((T544*)C1))->_output_stream/*4*/)));
}/*]*/
/*]*/
}
/*FI*//*[IRF3.5put_string*/r544put_string(((T544*)((((T324*)((T324*)(oBC364cpp))))->_current_out/*56*/)),((T0*)ms54_85));
/*]*/
/*IF*/if (_cbd) {
/*[IRF3.5put_character*//*[IRF3.6put_character*/{T544* C1=((T544*)((((T324*)((T324*)(oBC364cpp))))->_current_out/*56*/));
char b1='\51';
putc(b1,((FILE*)((((T544*)C1))->_output_stream/*4*/)));
}/*]*/
/*]*/
}
/*FI*/}
 else if ((((T0*)ms73_473))==((void*)(a3))) {
/*[IRF3.5put_string*/r544put_string(((T544*)((((T324*)((T324*)(oBC364cpp))))->_current_out/*56*/)),((T0*)ms55_85));
/*]*/
r324put_ith_argument(((T324*)(oBC364cpp)),1);
/*[IRF3.5put_string*/r544put_string(((T544*)((((T324*)((T324*)(oBC364cpp))))->_current_out/*56*/)),((T0*)ms147_470));
/*]*/
}
 else if ((((T0*)ms117_473))==((void*)(a3))) {
/*[IRF3.5put_string*/r544put_string(((T544*)((((T324*)((T324*)(oBC364cpp))))->_current_out/*56*/)),((T0*)ms36_470));
/*]*/
/*[IRF3.5put_character*//*[IRF3.6put_character*/{T544* C1=((T544*)((((T324*)((T324*)(oBC364cpp))))->_current_out/*56*/));
char b1='\50';
putc(b1,((FILE*)((((T544*)C1))->_output_stream/*4*/)));
}/*]*/
/*]*/
r324put_ith_argument(((T324*)(oBC364cpp)),2);
/*[IRF3.5put_string*/r544put_string(((T544*)((((T324*)((T324*)(oBC364cpp))))->_current_out/*56*/)),((T0*)ms56_85));
/*]*/
}
 else if ((((T0*)ms118_473))==((void*)(a3))) {
/*[IRF3.5put_string*/r544put_string(((T544*)((((T324*)((T324*)(oBC364cpp))))->_current_out/*56*/)),((T0*)ms36_470));
/*]*/
/*[IRF3.5put_character*//*[IRF3.6put_character*/{T544* C1=((T544*)((((T324*)((T324*)(oBC364cpp))))->_current_out/*56*/));
char b1='\50';
putc(b1,((FILE*)((((T544*)C1))->_output_stream/*4*/)));
}/*]*/
/*]*/
r324put_ith_argument(((T324*)(oBC364cpp)),2);
/*[IRF3.5put_string*/r544put_string(((T544*)((((T324*)((T324*)(oBC364cpp))))->_current_out/*56*/)),((T0*)ms57_85));
/*]*/
}
 else if ((((T0*)ms115_473))==((void*)(a3))) {
/*[IRF3.5put_string*/r544put_string(((T544*)((((T324*)((T324*)(oBC364cpp))))->_current_out/*56*/)),((T0*)ms58_85));
/*]*/
}
 else if ((((T0*)ms4_473))==((void*)(a2))) {
r85c_mapping_bit_function(a1,a3);
}
 else if ((((T0*)ms52_473))==((void*)(a3))) {
/*[IRF3.5put_character*//*[IRF3.6put_character*/{T544* C1=((T544*)((((T324*)((T324*)(oBC364cpp))))->_current_out/*56*/));
char b1='\50';
putc(b1,((FILE*)((((T544*)C1))->_output_stream/*4*/)));
}/*]*/
/*]*/
r324put_target_as_value(((T324*)(oBC364cpp)));
/*[IRF3.5put_string*/r544put_string(((T544*)((((T324*)((T324*)(oBC364cpp))))->_current_out/*56*/)),((T0*)ms59_85));
/*]*/
}
 else if ((((T0*)ms100_473))==((void*)(a3))) {
/*[IRF3.5put_string*/r544put_string(((T544*)((((T324*)((T324*)(oBC364cpp))))->_current_out/*56*/)),((T0*)ms123_470));
/*]*/
/*[IRF3.5put_character*//*[IRF3.6put_character*/{T544* C1=((T544*)((((T324*)((T324*)(oBC364cpp))))->_current_out/*56*/));
char b1='\50';
putc(b1,((FILE*)((((T544*)C1))->_output_stream/*4*/)));
}/*]*/
/*]*/
/*[IRF3.5put_string*/r544put_string(((T544*)((((T324*)((T324*)(oBC364cpp))))->_current_out/*56*/)),((T0*)ms128_470));
/*]*/
/*[IRF3.5put_character*//*[IRF3.6put_character*/{T544* C1=((T544*)((((T324*)((T324*)(oBC364cpp))))->_current_out/*56*/));
char b1='\51';
putc(b1,((FILE*)((((T544*)C1))->_output_stream/*4*/)));
}/*]*/
/*]*/
}
 else if ((((T0*)ms107_473))==((void*)(a3))) {
/*[IRF3.5put_string*/r544put_string(((T544*)((((T324*)((T324*)(oBC364cpp))))->_current_out/*56*/)),((T0*)ms60_85));
/*]*/
r324put_ith_argument(((T324*)(oBC364cpp)),1);
/*[IRF3.5put_string*/r544put_string(((T544*)((((T324*)((T324*)(oBC364cpp))))->_current_out/*56*/)),((T0*)ms147_470));
/*]*/
}
/*FI*/}
/*No:NATIVE_SMALL_EIFFEL.fz_int*/
/*No:NATIVE_SMALL_EIFFEL.us_xor*/
/*No:NATIVE_SMALL_EIFFEL.us_platform*/
/*No:NATIVE_SMALL_EIFFEL.us_to_bit*/
/*No:NATIVE_SMALL_EIFFEL.us_is_equal*/
/*No:NATIVE_SMALL_EIFFEL.us_to_character*/
/*No:NATIVE_SMALL_EIFFEL.us_se_string2double*/
/*No:NATIVE_SMALL_EIFFEL.us_free*/
int r85use_current(T0* a1){
int R=0;
T0* _n=NULL;
_n=X776to_string(/*X279*/((T0*)/*(IRF4.6first_name*//*(IRF4.6item*/r855item(((T855*)((((T953*)((T953*)((((T679*)((T679*)a1)))->_names/*8*/))))->_list/*0*/)),1)/*)*//*)*/));
/*IF*/if ((((T0*)ms110_473))==((void*)(_n))) {
}
 else if ((((T0*)ms107_473))==((void*)(_n))) {
}
 else if ((((T0*)ms111_473))==((void*)(_n))) {
}
 else if ((((T0*)ms114_473))==((void*)(_n))) {
}
 else if ((((T0*)ms113_473))==((void*)(_n))) {
}
 else if ((((T0*)ms116_473))==((void*)(_n))) {
}
 else if ((((T0*)ms142_473))==((void*)(_n))) {
}
else {
R=1;
}
/*FI*/return R;
}
/*No:NATIVE_SMALL_EIFFEL.us_read_byte*/
/*No:NATIVE_SMALL_EIFFEL.us_not*/
/*No:NATIVE_SMALL_EIFFEL.us_trace_switch*/
/*No:NATIVE_SMALL_EIFFEL.us_feof*/
/*No:NATIVE_SMALL_EIFFEL.us_boolean_bits*/
void r85c_mapping_native_array_function(T0* a1,T0* a2){
int _tcbd=0;
T0* _elt_type=NULL;
_elt_type=X291run_type(r701item(((T701*)(X291generic_list((((T892*)((T892*)a1)))->_current_type/*4*/))),1));
/*IF*/if ((((T0*)ms70_473))==((void*)(a2))) {
_tcbd=r324target_cannot_be_dropped(((T324*)(oBC364cpp)));
/*IF*/if (_tcbd) {
/*[IRF3.5put_character*//*[IRF3.6put_character*/{T544* C1=((T544*)((((T324*)((T324*)(oBC364cpp))))->_current_out/*56*/));
char b1='\54';
putc(b1,((FILE*)((((T544*)C1))->_output_stream/*4*/)));
}/*]*/
/*]*/
}
/*FI*/r7copy(((T7*)(oBC85tmp_string)),((T0*)ms123_470));
r7extend(((T7*)(oBC85tmp_string)),'\50');
X291c_type_for_argument_in(_elt_type,oBC85tmp_string);
r7extend(((T7*)(oBC85tmp_string)),'\51');
/*[IRF3.5put_string*/r544put_string(((T544*)((((T324*)((T324*)(oBC364cpp))))->_current_out/*56*/)),oBC85tmp_string);
/*]*/
/*IF*/if (_tcbd) {
/*[IRF3.5put_character*//*[IRF3.6put_character*/{T544* C1=((T544*)((((T324*)((T324*)(oBC364cpp))))->_current_out/*56*/));
char b1='\51';
putc(b1,((FILE*)((((T544*)C1))->_output_stream/*4*/)));
}/*]*/
/*]*/
}
/*FI*/}
 else if ((a2)==((void*)(((T0*)ms54_473)))) {
/*IF*/if ((X291expanded_initializer(_elt_type))==((void*)(NULL))) {
_tcbd=r324target_cannot_be_dropped(((T324*)(oBC364cpp)));
/*IF*/if (_tcbd) {
/*[IRF3.5put_character*//*[IRF3.6put_character*/{T544* C1=((T544*)((((T324*)((T324*)(oBC364cpp))))->_current_out/*56*/));
char b1='\54';
putc(b1,((FILE*)((((T544*)C1))->_output_stream/*4*/)));
}/*]*/
/*]*/
}
/*FI*//*IF*/if ((((T548*)((T548*)(oBC364gc_handler))))->_is_on/*0*/) {
/*[IRF3.5put_string*/r544put_string(((T544*)((((T324*)((T324*)(oBC364cpp))))->_current_out/*56*/)),((T0*)ms115_470));
/*]*/
/*[IRF3.5put_integer*/r544put_integer(((T544*)((((T324*)((T324*)(oBC364cpp))))->_current_out/*56*/)),X291id((((T892*)((T892*)a1)))->_current_type/*4*/));
/*]*/
/*[IRF3.5put_character*//*[IRF3.6put_character*/{T544* C1=((T544*)((((T324*)((T324*)(oBC364cpp))))->_current_out/*56*/));
char b1='\50';
putc(b1,((FILE*)((((T544*)C1))->_output_stream/*4*/)));
}/*]*/
/*]*/
r324put_ith_argument(((T324*)(oBC364cpp)),1);
/*[IRF3.5put_character*//*[IRF3.6put_character*/{T544* C1=((T544*)((((T324*)((T324*)(oBC364cpp))))->_current_out/*56*/));
char b1='\51';
putc(b1,((FILE*)((((T544*)C1))->_output_stream/*4*/)));
}/*]*/
/*]*/
}
else {
/*[IRF3.5put_string*/r544put_string(((T544*)((((T324*)((T324*)(oBC364cpp))))->_current_out/*56*/)),((T0*)ms54_473));
/*]*/
/*[IRF3.5put_character*//*[IRF3.6put_character*/{T544* C1=((T544*)((((T324*)((T324*)(oBC364cpp))))->_current_out/*56*/));
char b1='\50';
putc(b1,((FILE*)((((T544*)C1))->_output_stream/*4*/)));
}/*]*/
/*]*/
r324put_ith_argument(((T324*)(oBC364cpp)),1);
/*[IRF3.3clear*/((((T7*)(((T7*)(oBC85tmp_string)))))->_count)=(0);
/*]*/
r7extend(((T7*)(oBC85tmp_string)),'\54');
r7append(((T7*)(oBC85tmp_string)),((T0*)ms123_470));
r7extend(((T7*)(oBC85tmp_string)),'\50');
X291c_type_for_result_in(_elt_type,oBC85tmp_string);
r7append(((T7*)(oBC85tmp_string)),((T0*)ms147_470));
/*[IRF3.5put_string*/r544put_string(((T544*)((((T324*)((T324*)(oBC364cpp))))->_current_out/*56*/)),oBC85tmp_string);
/*]*/
}
/*FI*//*IF*/if (_tcbd) {
/*[IRF3.5put_character*//*[IRF3.6put_character*/{T544* C1=((T544*)((((T324*)((T324*)(oBC364cpp))))->_current_out/*56*/));
char b1='\51';
putc(b1,((FILE*)((((T544*)C1))->_output_stream/*4*/)));
}/*]*/
/*]*/
}
/*FI*/}
else {
r892default_mapping_function(((T892*)a1));
}
/*FI*/}
 else if ((a2)==((void*)(((T0*)ms77_473)))) {
_tcbd=r324target_cannot_be_dropped(((T324*)(oBC364cpp)));
/*IF*/if (_tcbd) {
/*[IRF3.5put_character*//*[IRF3.6put_character*/{T544* C1=((T544*)((((T324*)((T324*)(oBC364cpp))))->_current_out/*56*/));
char b1='\54';
putc(b1,((FILE*)((((T544*)C1))->_output_stream/*4*/)));
}/*]*/
/*]*/
}
/*FI*/r324put_ith_argument(((T324*)(oBC364cpp)),1);
/*IF*/if (_tcbd) {
/*[IRF3.5put_character*//*[IRF3.6put_character*/{T544* C1=((T544*)((((T324*)((T324*)(oBC364cpp))))->_current_out/*56*/));
char b1='\51';
putc(b1,((FILE*)((((T544*)C1))->_output_stream/*4*/)));
}/*]*/
/*]*/
}
/*FI*/}
else {
/*[IRF3.5put_character*//*[IRF3.6put_character*/{T544* C1=((T544*)((((T324*)((T324*)(oBC364cpp))))->_current_out/*56*/));
char b1='\50';
putc(b1,((FILE*)((((T544*)C1))->_output_stream/*4*/)));
}/*]*/
/*]*/
r324put_target_as_value(((T324*)(oBC364cpp)));
/*[IRF3.5put_string*/r544put_string(((T544*)((((T324*)((T324*)(oBC364cpp))))->_current_out/*56*/)),((T0*)ms68_85));
/*]*/
r324put_ith_argument(((T324*)(oBC364cpp)),1);
/*[IRF3.5put_character*//*[IRF3.6put_character*/{T544* C1=((T544*)((((T324*)((T324*)(oBC364cpp))))->_current_out/*56*/));
char b1='\135';
putc(b1,((FILE*)((((T544*)C1))->_output_stream/*4*/)));
}/*]*/
/*]*/
}
/*FI*/}
/*No:NATIVE_SMALL_EIFFEL.us_to_integer*/
/*No:NATIVE_SMALL_EIFFEL.us_se_getenv*/
void r85c_mapping_native_array_procedure(T0* a1,T0* a2){
T0* _elt_type=NULL;
_elt_type=X291run_type(r701item(((T701*)(X291generic_list((((T906*)((T906*)a1)))->_current_type/*4*/))),1));
/*IF*/if ((a2)==((void*)(((T0*)ms104_473)))) {
/*IF*/if (X291is_user_expanded(_elt_type)) {
/*IF*/if (X291is_dummy_expanded(_elt_type)) {
/*IF*/if (r324cannot_drop_all(((T324*)(oBC364cpp)))) {
/*[IRF3.5put_string*/r544put_string(((T544*)((((T324*)((T324*)(oBC364cpp))))->_current_out/*56*/)),((T0*)ms148_470));
/*]*/
}
/*FI*/}
else {
/*[IRF3.5put_string*/r544put_string(((T544*)((((T324*)((T324*)(oBC364cpp))))->_current_out/*56*/)),((T0*)ms69_85));
/*]*/
r324put_target_as_value(((T324*)(oBC364cpp)));
/*[IRF3.5put_string*/r544put_string(((T544*)((((T324*)((T324*)(oBC364cpp))))->_current_out/*56*/)),((T0*)ms70_85));
/*]*/
r324put_ith_argument(((T324*)(oBC364cpp)),2);
/*[IRF3.5put_string*/r544put_string(((T544*)((((T324*)((T324*)(oBC364cpp))))->_current_out/*56*/)),((T0*)ms71_85));
/*]*/
r324put_ith_argument(((T324*)(oBC364cpp)),1);
/*[IRF3.5put_string*/r544put_string(((T544*)((((T324*)((T324*)(oBC364cpp))))->_current_out/*56*/)),((T0*)ms72_85));
/*]*/
/*[IRF3.5put_integer*/r544put_integer(((T544*)((((T324*)((T324*)(oBC364cpp))))->_current_out/*56*/)),X291id(_elt_type));
/*]*/
/*[IRF3.5put_string*/r544put_string(((T544*)((((T324*)((T324*)(oBC364cpp))))->_current_out/*56*/)),((T0*)ms150_470));
/*]*/
}
/*FI*/}
else {
/*[IRF3.5put_character*//*[IRF3.6put_character*/{T544* C1=((T544*)((((T324*)((T324*)(oBC364cpp))))->_current_out/*56*/));
char b1='\50';
putc(b1,((FILE*)((((T544*)C1))->_output_stream/*4*/)));
}/*]*/
/*]*/
r324put_target_as_value(((T324*)(oBC364cpp)));
/*[IRF3.5put_string*/r544put_string(((T544*)((((T324*)((T324*)(oBC364cpp))))->_current_out/*56*/)),((T0*)ms73_85));
/*]*/
r324put_ith_argument(((T324*)(oBC364cpp)),2);
/*[IRF3.5put_string*/r544put_string(((T544*)((((T324*)((T324*)(oBC364cpp))))->_current_out/*56*/)),((T0*)ms74_85));
/*]*/
r324put_ith_argument(((T324*)(oBC364cpp)),1);
/*[IRF3.5put_string*/r544put_string(((T544*)((((T324*)((T324*)(oBC364cpp))))->_current_out/*56*/)),((T0*)ms148_470));
/*]*/
}
/*FI*/}
 else if ((a2)==((void*)(((T0*)ms76_473)))) {
/*[IRF3.5put_string*/r544put_string(((T544*)((((T324*)((T324*)(oBC364cpp))))->_current_out/*56*/)),((T0*)ms76_473));
/*]*/
/*[IRF3.5put_character*//*[IRF3.6put_character*/{T544* C1=((T544*)((((T324*)((T324*)(oBC364cpp))))->_current_out/*56*/));
char b1='\50';
putc(b1,((FILE*)((((T544*)C1))->_output_stream/*4*/)));
}/*]*/
/*]*/
r324put_target_as_value(((T324*)(oBC364cpp)));
/*[IRF3.5put_string*/r544put_string(((T544*)((((T324*)((T324*)(oBC364cpp))))->_current_out/*56*/)),((T0*)ms148_470));
/*]*/
}
/*FI*/}
/*No:NATIVE_SMALL_EIFFEL.fatal_error*/
/*No:NATIVE_SMALL_EIFFEL.us_calloc*/
/*No:NATIVE_SMALL_EIFFEL.us_to_pointer*/
/*No:NATIVE_SMALL_EIFFEL.fz_char*/
/*No:NATIVE_SMALL_EIFFEL.us_real_bits*/
/*No:NATIVE_SMALL_EIFFEL.us_element_sizeof*/
/*No:NATIVE_SMALL_EIFFEL.us_c_inline_h*/
/*No:NATIVE_SMALL_EIFFEL.us_native_array*/
/*No:NATIVE_SMALL_EIFFEL.us_pow*/
/*No:NATIVE_SMALL_EIFFEL.us_eof_code*/
/*No:NATIVE_SMALL_EIFFEL.us_print_run_time_stack*/
void r85c_define_twin(T0* a1,T0* a2,T0* a3,T0* a4){
int _id=0;
r892c_opening(((T892*)a1));
/*IF*/if (X291is_reference(a2)) {
/*IF*/if ((((T548*)((T548*)(oBC364gc_handler))))->_is_on/*0*/) {
/*[IRF3.3clear*/((((T7*)(((T7*)(oBC85body)))))->_count)=(0);
/*]*/
r7extend(((T7*)(oBC85body)),'R');
r7extend(((T7*)(oBC85body)),'\75');
r7extend(((T7*)(oBC85body)),'\50');
r7append(((T7*)(oBC85body)),((T0*)ms86_470));
X291gc_call_new_in(a2,oBC85body);
r7extend(((T7*)(oBC85body)),'\51');
r7append(((T7*)(oBC85body)),((T0*)ms134_470));
/*[IRF3.5put_string*/r544put_string(((T544*)((((T324*)((T324*)(oBC364cpp))))->_current_out/*56*/)),oBC85body);
/*]*/
}
else {
_id=(((T355*)((T355*)a3)))->_id/*4*/;
/*[IRF3.5put_string*/r544put_string(((T544*)((((T324*)((T324*)(oBC364cpp))))->_current_out/*56*/)),((T0*)ms65_85));
/*]*/
/*[IRF3.5put_string*/r544put_string(((T544*)((((T324*)((T324*)(oBC364cpp))))->_current_out/*56*/)),((T0*)ms66_85));
/*]*/
/*[IRF3.5put_integer*/r544put_integer(((T544*)((((T324*)((T324*)(oBC364cpp))))->_current_out/*56*/)),_id);
/*]*/
/*[IRF3.5put_string*/r544put_string(((T544*)((((T324*)((T324*)(oBC364cpp))))->_current_out/*56*/)),((T0*)ms67_85));
/*]*/
/*[IRF3.5put_integer*/r544put_integer(((T544*)((((T324*)((T324*)(oBC364cpp))))->_current_out/*56*/)),_id);
/*]*/
/*[IRF3.5put_string*/r544put_string(((T544*)((((T324*)((T324*)(oBC364cpp))))->_current_out/*56*/)),((T0*)ms134_470));
/*]*/
}
/*FI*/}
/*FI*/r324inside_twin(((T324*)(oBC364cpp)),a4);
r892c_closing(((T892*)a1));
}
/*No:NATIVE_SMALL_EIFFEL.us_minimum_double*/
/*No:NATIVE_SMALL_EIFFEL.us_se_argv*/
/*No:NATIVE_SMALL_EIFFEL.us_or*/
/*No:NATIVE_SMALL_EIFFEL.us_maximum_double*/
/*No:NATIVE_SMALL_EIFFEL.us_to_real*/
/*No:NATIVE_SMALL_EIFFEL.us_general*/
/*No:CALL_INFIX_MINUS.arguments*/
T0* r574add_comment(T574* C,T0* a1){
T0* R=NULL;
/*IF*/if (((a1)==((void*)(NULL)))||((/*(IRF4.6count*/r52count(((T52*)((((T393*)((T393*)a1)))->_list/*4*/)))/*)*/)==(0))) {
R=(T0*)C;
}
else {
{T529*n=malloc(sizeof(*n));
*n=M529;
r529make(n,(T0*)C,a1);
R=(T0*)n;
}
}
/*FI*/return R;
}
int r574to_integer(T574* C){
int R=0;
r574error(/*(IRF4.6start_position*/(((T454*)((T454*)((((T574*)C))->_feature_name/*28*/))))->_start_position/*8*//*)*/,((T0*)ms69_470));
return R;
}
int r574is_a(T574* C,T0* a1){
int R=0;
R=X291is_a(X291run_type((((T574*)C))->_result_type/*20*/),X291run_type(X662result_type(a1)));
/*IF*/if (!(R)) {
r683add_position(/*(IRF4.6start_position*/(((T454*)((T454*)((((T574*)C))->_feature_name/*28*/))))->_start_position/*8*//*)*/);
r574error(X662start_position(a1),((T0*)ms4_662));
}
/*FI*/return R;
}
/*No:CALL_INFIX_MINUS.is_current*/
void r574mapping_c_arg(T574* C,T0* a1){
T0* _actual_type=NULL;
_actual_type=X291run_type((((T574*)C))->_result_type/*20*/);
/*IF*/if (X291is_reference(_actual_type)) {
/*IF*/if (X291is_reference(a1)) {
/*[IRF3.4compile_to_c*//*[IRF3.6call_proc_call_c2c*/{T574* C1=C;
r324put_cpc(((T324*)(oBC364cpp)),(T0*)C1);
}/*]*/
/*]*/
}
else {
X291to_expanded(_actual_type);
/*[IRF3.5put_character*//*[IRF3.6put_character*/{T544* C1=((T544*)((((T324*)((T324*)(oBC364cpp))))->_current_out/*56*/));
char b1='\50';
putc(b1,((FILE*)((((T544*)C1))->_output_stream/*4*/)));
}/*]*/
/*]*/
/*[IRF3.4compile_to_c*//*[IRF3.6call_proc_call_c2c*/{T574* C1=C;
r324put_cpc(((T324*)(oBC364cpp)),(T0*)C1);
}/*]*/
/*]*/
/*[IRF3.5put_character*//*[IRF3.6put_character*/{T544* C1=((T544*)((((T324*)((T324*)(oBC364cpp))))->_current_out/*56*/));
char b1='\51';
putc(b1,((FILE*)((((T544*)C1))->_output_stream/*4*/)));
}/*]*/
/*]*/
}
/*FI*/}
else {
/*IF*/if (X291is_reference(a1)) {
X291to_reference(_actual_type);
/*[IRF3.5put_character*//*[IRF3.6put_character*/{T544* C1=((T544*)((((T324*)((T324*)(oBC364cpp))))->_current_out/*56*/));
char b1='\50';
putc(b1,((FILE*)((((T544*)C1))->_output_stream/*4*/)));
}/*]*/
/*]*/
/*[IRF3.4compile_to_c*//*[IRF3.6call_proc_call_c2c*/{T574* C1=C;
r324put_cpc(((T324*)(oBC364cpp)),(T0*)C1);
}/*]*/
/*]*/
/*[IRF3.5put_character*//*[IRF3.6put_character*/{T544* C1=((T544*)((((T324*)((T324*)(oBC364cpp))))->_current_out/*56*/));
char b1='\51';
putc(b1,((FILE*)((((T544*)C1))->_output_stream/*4*/)));
}/*]*/
/*]*/
}
else {
/*IF*/if (X291need_c_struct(a1)) {
/*[IRF3.5put_character*//*[IRF3.6put_character*/{T544* C1=((T544*)((((T324*)((T324*)(oBC364cpp))))->_current_out/*56*/));
char b1='\46';
putc(b1,((FILE*)((((T544*)C1))->_output_stream/*4*/)));
}/*]*/
/*]*/
/*[IRF3.5put_character*//*[IRF3.6put_character*/{T544* C1=((T544*)((((T324*)((T324*)(oBC364cpp))))->_current_out/*56*/));
char b1='\50';
putc(b1,((FILE*)((((T544*)C1))->_output_stream/*4*/)));
}/*]*/
/*]*/
/*[IRF3.4compile_to_c*//*[IRF3.6call_proc_call_c2c*/{T574* C1=C;
r324put_cpc(((T324*)(oBC364cpp)),(T0*)C1);
}/*]*/
/*]*/
/*[IRF3.5put_character*//*[IRF3.6put_character*/{T544* C1=((T544*)((((T324*)((T324*)(oBC364cpp))))->_current_out/*56*/));
char b1='\51';
putc(b1,((FILE*)((((T544*)C1))->_output_stream/*4*/)));
}/*]*/
/*]*/
}
else {
/*[IRF3.4compile_to_c*//*[IRF3.6call_proc_call_c2c*/{T574* C1=C;
r324put_cpc(((T324*)(oBC364cpp)),(T0*)C1);
}/*]*/
/*]*/
}
/*FI*/}
/*FI*/}
/*FI*/}
/*No:CALL_INFIX_MINUS.static_value*/
void r574make(T574* C,T0* a1,T0* a2,T0* a3){
T0* _eal=NULL;
/*IF*/if (((a1)==((void*)(NULL)))||((a3)==((void*)(NULL)))) {
r683add_position(a2);
/*[IRF3.6fatal_error*/{T0* b1=((T0*)ms1_618);
r683fatal_error(((T683*)(oBC364eh)),b1);
}/*]*/
}
/*FI*/{T454*n=malloc(sizeof(*n));
*n=M454;
r454make(n,r574operator(),a2);
C->_feature_name=(T0*)n;
}
{T431*n=malloc(sizeof(*n));
*n=M431;
/*[IRF3.3make*/((((T431*)(n)))->_list)=(se_ma96(1,a3));
/*]*/
_eal=(T0*)n;
}
r574make_call_1(C,a1,(((T574*)C))->_feature_name/*28*/,_eal);
}
void r574mapping_c_target(T574* C,T0* a1){
T0* _actual_type=NULL;
int _flag=0;
_flag=r324call_invariant_start(a1);
_actual_type=X291run_type((((T574*)C))->_result_type/*20*/);
/*IF*/if (X291is_reference(_actual_type)) {
/*IF*/if (X291is_reference(a1)) {
/*[IRF3.5put_character*//*[IRF3.6put_character*/{T544* C1=((T544*)((((T324*)((T324*)(oBC364cpp))))->_current_out/*56*/));
char b1='\50';
putc(b1,((FILE*)((((T544*)C1))->_output_stream/*4*/)));
}/*]*/
/*]*/
/*[IRF3.5put_character*//*[IRF3.6put_character*/{T544* C1=((T544*)((((T324*)((T324*)(oBC364cpp))))->_current_out/*56*/));
char b1='\50';
putc(b1,((FILE*)((((T544*)C1))->_output_stream/*4*/)));
}/*]*/
/*]*/
/*[IRF3.5put_character*//*[IRF3.6put_character*/{T544* C1=((T544*)((((T324*)((T324*)(oBC364cpp))))->_current_out/*56*/));
char b1='T';
putc(b1,((FILE*)((((T544*)C1))->_output_stream/*4*/)));
}/*]*/
/*]*/
/*[IRF3.5put_integer*/r544put_integer(((T544*)((((T324*)((T324*)(oBC364cpp))))->_current_out/*56*/)),X291id(a1));
/*]*/
/*[IRF3.5put_character*//*[IRF3.6put_character*/{T544* C1=((T544*)((((T324*)((T324*)(oBC364cpp))))->_current_out/*56*/));
char b1='\52';
putc(b1,((FILE*)((((T544*)C1))->_output_stream/*4*/)));
}/*]*/
/*]*/
/*[IRF3.5put_character*//*[IRF3.6put_character*/{T544* C1=((T544*)((((T324*)((T324*)(oBC364cpp))))->_current_out/*56*/));
char b1='\51';
putc(b1,((FILE*)((((T544*)C1))->_output_stream/*4*/)));
}/*]*/
/*]*/
/*[IRF3.5put_character*//*[IRF3.6put_character*/{T544* C1=((T544*)((((T324*)((T324*)(oBC364cpp))))->_current_out/*56*/));
char b1='\50';
putc(b1,((FILE*)((((T544*)C1))->_output_stream/*4*/)));
}/*]*/
/*]*/
/*[IRF3.4compile_to_c*//*[IRF3.6call_proc_call_c2c*/{T574* C1=C;
r324put_cpc(((T324*)(oBC364cpp)),(T0*)C1);
}/*]*/
/*]*/
/*[IRF3.5put_character*//*[IRF3.6put_character*/{T544* C1=((T544*)((((T324*)((T324*)(oBC364cpp))))->_current_out/*56*/));
char b1='\51';
putc(b1,((FILE*)((((T544*)C1))->_output_stream/*4*/)));
}/*]*/
/*]*/
/*[IRF3.5put_character*//*[IRF3.6put_character*/{T544* C1=((T544*)((((T324*)((T324*)(oBC364cpp))))->_current_out/*56*/));
char b1='\51';
putc(b1,((FILE*)((((T544*)C1))->_output_stream/*4*/)));
}/*]*/
/*]*/
}
else {
X291to_expanded(_actual_type);
/*[IRF3.5put_character*//*[IRF3.6put_character*/{T544* C1=((T544*)((((T324*)((T324*)(oBC364cpp))))->_current_out/*56*/));
char b1='\50';
putc(b1,((FILE*)((((T544*)C1))->_output_stream/*4*/)));
}/*]*/
/*]*/
/*[IRF3.4compile_to_c*//*[IRF3.6call_proc_call_c2c*/{T574* C1=C;
r324put_cpc(((T324*)(oBC364cpp)),(T0*)C1);
}/*]*/
/*]*/
/*[IRF3.5put_character*//*[IRF3.6put_character*/{T544* C1=((T544*)((((T324*)((T324*)(oBC364cpp))))->_current_out/*56*/));
char b1='\51';
putc(b1,((FILE*)((((T544*)C1))->_output_stream/*4*/)));
}/*]*/
/*]*/
}
/*FI*/}
else {
/*IF*/if (X291is_reference(a1)) {
X291to_reference(_actual_type);
/*[IRF3.5put_character*//*[IRF3.6put_character*/{T544* C1=((T544*)((((T324*)((T324*)(oBC364cpp))))->_current_out/*56*/));
char b1='\50';
putc(b1,((FILE*)((((T544*)C1))->_output_stream/*4*/)));
}/*]*/
/*]*/
/*[IRF3.4compile_to_c*//*[IRF3.6call_proc_call_c2c*/{T574* C1=C;
r324put_cpc(((T324*)(oBC364cpp)),(T0*)C1);
}/*]*/
/*]*/
/*[IRF3.5put_character*//*[IRF3.6put_character*/{T544* C1=((T544*)((((T324*)((T324*)(oBC364cpp))))->_current_out/*56*/));
char b1='\51';
putc(b1,((FILE*)((((T544*)C1))->_output_stream/*4*/)));
}/*]*/
/*]*/
}
else {
/*IF*/if (X291need_c_struct(a1)) {
/*[IRF3.5put_character*//*[IRF3.6put_character*/{T544* C1=((T544*)((((T324*)((T324*)(oBC364cpp))))->_current_out/*56*/));
char b1='\46';
putc(b1,((FILE*)((((T544*)C1))->_output_stream/*4*/)));
}/*]*/
/*]*/
/*[IRF3.5put_character*//*[IRF3.6put_character*/{T544* C1=((T544*)((((T324*)((T324*)(oBC364cpp))))->_current_out/*56*/));
char b1='\50';
putc(b1,((FILE*)((((T544*)C1))->_output_stream/*4*/)));
}/*]*/
/*]*/
/*[IRF3.4compile_to_c*//*[IRF3.6call_proc_call_c2c*/{T574* C1=C;
r324put_cpc(((T324*)(oBC364cpp)),(T0*)C1);
}/*]*/
/*]*/
/*[IRF3.5put_character*//*[IRF3.6put_character*/{T544* C1=((T544*)((((T324*)((T324*)(oBC364cpp))))->_current_out/*56*/));
char b1='\51';
putc(b1,((FILE*)((((T544*)C1))->_output_stream/*4*/)));
}/*]*/
/*]*/
}
else {
/*[IRF3.4compile_to_c*//*[IRF3.6call_proc_call_c2c*/{T574* C1=C;
r324put_cpc(((T324*)(oBC364cpp)),(T0*)C1);
}/*]*/
/*]*/
}
/*FI*/}
/*FI*/}
/*FI*//*IF*/if (_flag) {
/*[IRF3.2call_invariant_end*//*[IRF3.6put_character*/{T544* C1=((T544*)(oBC324out_c));
char b1='\51';
putc(b1,((FILE*)((((T544*)C1))->_output_stream/*4*/)));
}/*]*/
/*]*/
}
/*FI*/}
/*No:CALL_INFIX_MINUS.nb_errors*/
/*No:CALL_INFIX_MINUS.feature_name*/
/*No:CALL_INFIX_MINUS.fz_iinaiv*/
/*No:CALL_INFIX_MINUS.arg_count*/
void r574dca_inline_argument(T574* C,T0* a1){
/*[IRF3.5put_character*//*[IRF3.6put_character*/{T544* C1=((T544*)((((T324*)((T324*)(oBC364cpp))))->_current_out/*56*/));
char b1='\50';
putc(b1,((FILE*)((((T544*)C1))->_output_stream/*4*/)));
}/*]*/
/*]*/
X662dca_inline_argument((((T574*)C))->_target/*12*/,a1);
/*[IRF3.5put_character*//*[IRF3.6put_character*/{T544* C1=((T544*)((((T324*)((T324*)(oBC364cpp))))->_current_out/*56*/));
char b1='\51';
putc(b1,((FILE*)((((T544*)C1))->_output_stream/*4*/)));
}/*]*/
/*]*/
/*[IRF3.5put_character*//*[IRF3.6put_character*/{T544* C1=((T544*)((((T324*)((T324*)(oBC364cpp))))->_current_out/*56*/));
char b1='\55';
putc(b1,((FILE*)((((T544*)C1))->_output_stream/*4*/)));
}/*]*/
/*]*/
/*[IRF3.5put_character*//*[IRF3.6put_character*/{T544* C1=((T544*)((((T324*)((T324*)(oBC364cpp))))->_current_out/*56*/));
char b1='\50';
putc(b1,((FILE*)((((T544*)C1))->_output_stream/*4*/)));
}/*]*/
/*]*/
X662dca_inline_argument(r574arg1(C),a1);
/*[IRF3.5put_character*//*[IRF3.6put_character*/{T544* C1=((T544*)((((T324*)((T324*)(oBC364cpp))))->_current_out/*56*/));
char b1='\51';
putc(b1,((FILE*)((((T544*)C1))->_output_stream/*4*/)));
}/*]*/
/*]*/
}
/*No:CALL_INFIX_MINUS.run_feature*/
/*No:CALL_INFIX_MINUS.call_proc_call_c2c*/
/*No:CALL_INFIX_MINUS.start_position*/
/*No:CALL_INFIX_MINUS.target*/
/*No:CALL_INFIX_MINUS.compile_to_c*/
/*No:CALL_INFIX_MINUS.c_simple*/
T0* r574to_runnable(T574* C,T0* a1){
T0* R=NULL;
T0* _tla=NULL;
T0* _a=NULL;
/*IF*/if (((((T574*)C))->_current_type/*8*/)==((void*)(NULL))) {
r574to_runnable_0(C,a1);
_a=X431to_runnable((((T574*)C))->_arguments/*24*/,a1);
/*IF*/if ((_a)==((void*)(NULL))) {
r574error(X662start_position(r574arg1(C)),((T0*)ms55_470));
}
else {
C->_arguments=_a;
}
/*FI*//*IF*/if ((/*(IRF4.9nb_errors*/(((T683*)((T683*)(oBC364eh))))->_nb_errors/*0*//*)*/)==(0)) {
X431match_with((((T574*)C))->_arguments/*24*/,(((T574*)C))->_run_feature/*16*/);
}
/*FI*//*IF*/if ((/*(IRF4.9nb_errors*/(((T683*)((T683*)(oBC364eh))))->_nb_errors/*0*//*)*/)==(0)) {
_tla=(((T574*)C))->_result_type/*20*/;
if(NULL!=(_tla))switch(((T0*)_tla)->id) {
case 239: 
break;
default:
_tla=NULL;
};/*IF*/if ((_tla)!=((void*)(NULL))) {
C->_result_type=X291run_type(X662result_type(r574arg1(C)));
}
/*FI*/}
/*FI*//*IF*/if ((/*(IRF4.9nb_errors*/(((T683*)((T683*)(oBC364eh))))->_nb_errors/*0*//*)*/)==(0)) {
R=(T0*)C;
}
/*FI*/}
else {
R=r574twin(C);
/*[IRF3.3set_current_type*/((((T574*)(((T574*)R))))->_current_type)=(NULL);
/*]*/
R=r574to_runnable(((T574*)R),a1);
}
/*FI*/return R;
}
/*No:CALL_INFIX_MINUS.result_type*/
/*No:CALL_INFIX_MINUS.is_result*/
T0* r574twin(T574* C){
T0* R=NULL;
R=malloc(sizeof(*C));
*((T574*)R)=*C;
return R;
}
/*No:CALL_INFIX_MINUS.set_current_type*/
T0* r574operator(void){
T0* R=NULL;
R=((T0*)ms37_473);
return R;
}
int r574is_static(T574* C){
int R=0;
/*IF*/if (X291is_integer((((T574*)C))->_result_type/*20*/)) {
/*IF*/if ((X662is_static((((T574*)C))->_target/*12*/))&&(X662is_static(r574arg1(C)))) {
R=1;
C->_static_value_mem=(X662static_value((((T574*)C))->_target/*12*/))-(X662static_value(r574arg1(C)));
}
/*FI*/}
/*FI*/return R;
}
/*No:CALL_INFIX_MINUS.fz_07*/
/*No:CALL_INFIX_MINUS.can_be_dropped*/
/*No:CALL_INFIX_MINUS.us_minus*/
/*No:CALL_INFIX_MINUS.current_type*/
void r574compile_to_c_old(T574* C){
X662compile_to_c_old((((T574*)C))->_target/*12*/);
/*IF*/{/*AT*/X431compile_to_c_old((((T574*)C))->_arguments/*24*/);
}
/*FI*/}
/*No:CALL_INFIX_MINUS.static_value_mem*/
void r574make_call_1(T574* C,T0* a1,T0* a2,T0* a3){
C->_target=a1;
C->_feature_name=a2;
C->_arguments=a3;
}
/*No:CALL_INFIX_MINUS.is_manifest_string*/
/*No:CALL_INFIX_MINUS.is_void*/
void r574to_runnable_0(T574* C,T0* a1){
C->_current_type=a1;
r574cpc_to_runnable(C,a1);
C->_result_type=/*X496*/((T0*)(((T832*)((T832*)((((T574*)C))->_run_feature/*16*/))))->_result_type/*24*/);
/*IF*/if (((((T574*)C))->_result_type/*20*/)==((void*)(NULL))) {
r683add_position(X496start_position((((T574*)C))->_run_feature/*16*/));
r574error((((T454*)((T454*)((((T574*)C))->_feature_name/*28*/))))->_start_position/*8*/,((T0*)ms1_295));
}
 else if (X291is_like_current((((T574*)C))->_result_type/*20*/)) {
C->_result_type=X662result_type((((T574*)C))->_target/*12*/);
}
/*FI*/}
/*No:CALL_INFIX_MINUS.is_pre_computable*/
void r574cpc_to_runnable(T574* C,T0* a1){
T0* _rc=NULL;
T0* _t=NULL;
_t=X662to_runnable((((T574*)C))->_target/*12*/,a1);
/*IF*/if ((_t)==((void*)(NULL))) {
r683add_position(X662start_position((((T574*)C))->_target/*12*/));
/*[IRF3.6fatal_error*/{T0* b1=((T0*)ms2_135);
r683fatal_error(((T683*)(oBC364eh)),b1);
}/*]*/
}
/*FI*/C->_target=_t;
_rc=X291run_class(X662result_type((((T574*)C))->_target/*12*/));
C->_run_feature=r355get_rf(((T355*)_rc),(T0*)C);
r576update((((T574*)C))->_target/*12*/,(((T574*)C))->_run_feature/*16*/);
}
int r574use_current(T574* C){
int R=0;
/*IF*/{/*AT*/R=X431use_current((((T574*)C))->_arguments/*24*/);
}
/*FI*//*IF*/if (R) {
}
 else if (X662is_current((((T574*)C))->_target/*12*/)) {
R=X496use_current((((T574*)C))->_run_feature/*16*/);
}
else {
R=X662use_current((((T574*)C))->_target/*12*/);
}
/*FI*/return R;
}
void r574finalize(T574* C){
T0* _rf=NULL;
T0* _rc=NULL;
_rf=(((T574*)C))->_run_feature/*16*/;
_rc=X291run_class(/*X496*/((T0*)(((T832*)((T832*)_rf)))->_current_type/*4*/));
/*IF*/if (!((((T355*)((T355*)_rc)))->_at_run_time/*8*/)) {
_rf=r355dynamic(((T355*)(r396first(((T396*)((((T355*)((T355*)_rc)))->_running/*12*/))))),_rf);
C->_run_feature=_rf;
}
/*FI*/}
void r574error(T0* a1,T0* a2){
r683add_position(a1);
r683error(((T683*)(oBC364eh)),a2);
}
int r574isa_dca_inline_argument(T574* C){
int R=0;
R=X662isa_dca_inline_argument((((T574*)C))->_target/*12*/);
/*IF*/if ((R)==(-(1))) {
R=X662isa_dca_inline_argument(r574arg1(C));
}
 else if ((R)>(0)) {
/*IF*/if ((X662isa_dca_inline_argument(r574arg1(C)))>=(0)) {
R=0;
}
/*FI*/}
/*FI*/return R;
}
/*No:CALL_INFIX_MINUS.fatal_error*/
/*No:CALL_INFIX_MINUS.fz_bad_argument*/
T0* r574arg1(T574* C){
T0* R=NULL;
R=X431first((((T574*)C))->_arguments/*24*/);
return R;
}
void r574afd_check(T574* C){
T0* _running=NULL;
T0* _rc=NULL;
_rc=X291run_class(X662result_type((((T574*)C))->_target/*12*/));
_running=(((T355*)((T355*)_rc)))->_running/*12*/;
/*IF*/if ((_running)==((void*)(NULL))) {
r683add_position(X662start_position((((T574*)C))->_target/*12*/));
/*[IRF3.6append*/{T0* b1=((T0*)ms1_135);
r7append(((T7*)(oBC683explanation)),b1);
}/*]*/
/*[IRF3.6append*/{T0* b1=X291run_time_mark((((T355*)((T355*)_rc)))->_current_type/*0*/);
r7append(((T7*)(oBC683explanation)),b1);
}/*]*/
/*[IRF3.6append*/{T0* b1=((T0*)ms141_470);
r7append(((T7*)(oBC683explanation)),b1);
}/*]*/
r683print_as_warning(((T683*)(oBC364eh)));
r355set_at_run_time(((T355*)_rc));
}
 else if ((r396count(((T396*)_running)))>(0)) {
r576update((((T574*)C))->_target/*12*/,(((T574*)C))->_run_feature/*16*/);
}
/*FI*/X662afd_check((((T574*)C))->_target/*12*/);
/*IF*/{/*AT*/X431afd_check((((T574*)C))->_arguments/*24*/);
}
/*FI*/}
void r576update_with(T0* a1){
T0* _running=NULL;
T0* _dictionary2=NULL;
T0* _key2=NULL;
T0* _key1=NULL;
T0* _current_type=NULL;
_current_type=/*X496*/((T0*)(((T832*)((T832*)a1)))->_current_type/*4*/);
_running=(((T355*)((T355*)(X291run_class(_current_type)))))->_running/*12*/;
/*IF*/if (((_running)!=((void*)(NULL)))&&((r396count(((T396*)_running)))>(1))) {
_key1=X291run_time_mark(_current_type);
_key2=X776to_key(/*X496*/((T0*)(((T832*)((T832*)a1)))->_name/*16*/));
/*IF*/if (r338has(((T338*)(oBC576dictionary)),_key1)) {
_dictionary2=r338at(((T338*)(oBC576dictionary)),_key1);
/*IF*/if (!(r199has(((T199*)_dictionary2),_key2))) {
r199put(((T199*)_dictionary2),a1,_key2);
}
/*FI*/}
else {
{T199*n=malloc(sizeof(*n));
*n=M199;
r199make(n);
_dictionary2=(T0*)n;
}
r199put(((T199*)_dictionary2),a1,_key2);
r338put(((T338*)(oBC576dictionary)),_dictionary2,_key1);
}
/*FI*/}
/*FI*/}
/*No:SWITCH_COLLECTION.falling_down*/
/*No:SWITCH_COLLECTION.c_define*/
void r576remove(T0* a1){
T0* _dictionary2=NULL;
T0* _key2=NULL;
T0* _key1=NULL;
T0* _current_type=NULL;
_current_type=/*X496*/((T0*)(((T832*)((T832*)a1)))->_current_type/*4*/);
_key1=X291run_time_mark(_current_type);
/*IF*/if (r338has(((T338*)(oBC576dictionary)),_key1)) {
_dictionary2=r338at(((T338*)(oBC576dictionary)),_key1);
_key2=X776to_key(/*X496*/((T0*)(((T832*)((T832*)a1)))->_name/*16*/));
r199remove(((T199*)_dictionary2),_key2);
}
/*FI*/}
void r576update(T0* a1,T0* a2){
T0* _running=NULL;
T0* _current_type=NULL;
/*IF*/if (X662is_current(a1)) {
}
 else if (X662is_manifest_string(a1)) {
}
else {
_current_type=/*X496*/((T0*)(((T832*)((T832*)a2)))->_current_type/*4*/);
/*IF*/if (X291is_reference(_current_type)) {
_running=(((T355*)((T355*)(X291run_class(_current_type)))))->_running/*12*/;
/*IF*/if (((_running)!=((void*)(NULL)))&&((r396count(((T396*)_running)))>(1))) {
r576update_with(a2);
}
/*FI*/}
/*FI*/}
/*FI*/}
T0*oBC576dictionary=NULL;
/*No:CALL_INFIX_IMPLIES.arguments*/
T0* r90add_comment(T90* C,T0* a1){
T0* R=NULL;
/*IF*/if (((a1)==((void*)(NULL)))||((/*(IRF4.6count*/r52count(((T52*)((((T393*)((T393*)a1)))->_list/*4*/)))/*)*/)==(0))) {
R=(T0*)C;
}
else {
{T529*n=malloc(sizeof(*n));
*n=M529;
r529make(n,(T0*)C,a1);
R=(T0*)n;
}
}
/*FI*/return R;
}
int r90to_integer(T90* C){
int R=0;
r90error(/*(IRF4.6start_position*/(((T454*)((T454*)((((T90*)C))->_feature_name/*28*/))))->_start_position/*8*//*)*/,((T0*)ms69_470));
return R;
}