/*
-- 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_jvm.h"
int r523id(T523* C){
int R=0;
R=(((T355*)((T355*)(r523run_class(C)))))->_id/*4*/;
return R;
}
void r523jvm_target_descriptor_in(T523* C,T0* a1){
/*IF*/if (r523is_dummy_expanded(C)) {
r7extend(((T7*)a1),'B');
}
/*FI*/}
T0*oBC523tmp_written_mark=NULL;
/*No:TYPE_EXPANDED.jvm_if_x_eq*/
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*/
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 r523jvm_to_reference(T523* C){
X291jvm_to_reference((((T523*)C))->_run_type/*20*/);
}
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;
}
int r523jvm_push_default(T523* C){
int R=0;
T0* _rc=NULL;
_rc=r523run_class(C);
/*IF*/if (X291is_basic_eiffel_expanded((((T355*)((T355*)_rc)))->_current_type/*0*/)) {
R=X291jvm_push_default((((T355*)((T355*)_rc)))->_current_type/*0*/);
}
else {
r355jvm_expanded_push_default(((T355*)_rc));
R=1;
}
/*FI*/return R;
}
/*No:TYPE_EXPANDED.is_string*/
/*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*/));
}
T0* r523jvm_root_class(void){
if (fBC364jvm_root_class==0){
T0* R=NULL;
fBC364jvm_root_class=1;
{T7*n=malloc(sizeof(*n));
*n=M7;
r7make(n,12);
R=(T0*)n;
}
r7copy(((T7*)R),(((T228*)((T228*)(oBC364jvm))))->_output_name/*16*/);
r7extend(((T7*)R),'\57');
r7append(((T7*)R),((T0*)ms112_470));
oBC364jvm_root_class=R;}
return oBC364jvm_root_class;}
/*No:TYPE_EXPANDED.jvm_return_code*/
/*No:TYPE_EXPANDED.jvm_xnewarray*/
/*No:TYPE_EXPANDED.jvm_descriptor_in*/
/*No:TYPE_EXPANDED.start_position*/
/*No:TYPE_EXPANDED.fz_inako*/
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;
}
int r523is_character(T523* C){
int R=0;
R=X291is_character((((T523*)C))->_mapped/*12*/);
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;
}
/*No:TYPE_EXPANDED.is_formal_generic*/
T0* r523generic_list(T523* C){
T0* R=NULL;
R=X291generic_list((((T523*)C))->_mapped/*12*/);
return R;
}
int r523is_real(T523* C){
int R=0;
R=X291is_real((((T523*)C))->_mapped/*12*/);
return R;
}
void r523standard_jvm_check_class_invariant(T523* C){
/*IF*/if (r590invariant_check(((T590*)(oBC364run_control)))) {
r355jvm_check_class_invariant(((T355*)(r523run_class(C))));
}
/*FI*/}
int r523is_bit(T523* C){
int R=0;
R=X291is_bit((((T523*)C))->_mapped/*12*/);
return R;
}
/*No:TYPE_EXPANDED.jvm_check_class_invariant*/
T0* r523jvm_root_descriptor(void){
if (fBC364jvm_root_descriptor==0){
T0* R=NULL;
fBC364jvm_root_descriptor=1;
{T7*n=malloc(sizeof(*n));
*n=M7;
r7make(n,12);
R=(T0*)n;
}
r7extend(((T7*)R),'L');
r7append(((T7*)R),r523jvm_root_class());
r7extend(((T7*)R),'\73');
oBC364jvm_root_descriptor=R;}
return oBC364jvm_root_descriptor;}
/*No:TYPE_EXPANDED.jvm_xaload*/
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;
}
int r523is_double(T523* C){
int R=0;
R=X291is_double((((T523*)C))->_mapped/*12*/);
return R;
}
int r523jvm_stack_space(T523* C){
int R=0;
/*IF*/if (r523is_double(C)) {
R=2;
}
else {
R=1;
}
/*FI*/return R;
}
T0* r523run_class(T523* C){
T0* R=NULL;
R=r604run_class((((T523*)C))->_run_type/*20*/);
return R;
}
/*No:TYPE_EXPANDED.run_time_mark*/
/*No:TYPE_EXPANDED.mapped*/
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;
}
int r523jvm_convert_to(T523* C,T0* a1){
int R=0;
/*IF*/if (X291is_reference(a1)) {
r523jvm_to_reference(C);
}
/*FI*/R=1;
return R;
}
T0* r523expanded_initializer(T523* C){
T0* R=NULL;
R=r605expanded_initializer(((T605*)(r523base_class(C))),(T0*)C);
return R;
}
/*No:TYPE_EXPANDED.fz_jvm_root*/
/*No:TYPE_EXPANDED.jvm_if_x_ne*/
/*No:TYPE_EXPANDED.fz_dot*/
int r523is_generic(T523* C){
int R=0;
R=X291is_generic((((T523*)C))->_mapped/*12*/);
return R;
}
void r523jvm_write_local(T523* C,int a1){
T0* _rc=NULL;
_rc=r523run_class(C);
/*IF*/if (X291is_basic_eiffel_expanded((((T355*)((T355*)_rc)))->_current_type/*0*/)) {
X291jvm_write_local((((T355*)((T355*)_rc)))->_current_type/*0*/,a1);
}
else {
r355jvm_expanded_write_local(((T355*)(r523run_class(C))),a1);
}
/*FI*/}
void r523jvm_initialize_local(T523* C,int a1){
T0* _rc=NULL;
_rc=r523run_class(C);
/*IF*/if (X291is_basic_eiffel_expanded((((T355*)((T355*)_rc)))->_current_type/*0*/)) {
X291jvm_initialize_local((((T355*)((T355*)_rc)))->_current_type/*0*/,a1);
}
else {
r355jvm_expanded_push_default(((T355*)(r523run_class(C))));
r523jvm_write_local(C,a1);
}
/*FI*/}
/*No:TYPE_EXPANDED.used_as_reference*/
/*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.jvm_xastore*/
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.fatal_error*/
/*No:TYPE_EXPANDED.is_any*/
int r523jvm_method_flags(T523* C){
int R=0;
/*IF*/if ((r355writable_attributes(((T355*)(r523run_class(C)))))==((void*)(NULL))) {
R=9;
}
else {
R=17;
}
/*FI*/return R;
}
T0* r523base_class_name(T523* C){
T0* R=NULL;
R=X291base_class_name((((T523*)C))->_mapped/*12*/);
return R;
}
/*No:TYPE_EXPANDED.jvm_push_local*/
/*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*/
int r523is_integer(T523* C){
int R=0;
R=X291is_integer((((T523*)C))->_mapped/*12*/);
return R;
}
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 r805fieldref_idx(T805* C){
int R=0;
R=r95idx_fieldref_for_manifest_string(((T95*)(oBC364constant_pool)),(((T805*)C))->_mapping_c/*32*/);
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.jvm_branch_if_false*/
/*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.to_string*/
/*No:MANIFEST_STRING.compile_to_jvm_assignment*/
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.jvm_branch_if_true*/
/*No:MANIFEST_STRING.add*/
/*No:MANIFEST_STRING.start_position*/
/*No:MANIFEST_STRING.compile_to_jvm_old*/
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*/
/*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*/
int r805compile_to_jvm_into(T805* C,T0* a1){
int R=0;
R=1;
r805compile_to_jvm(C);
return R;
}
void r805compile_target_to_jvm(T805* C){
int _idx=0;
_idx=r805fieldref_idx(C);
r256opcode_getstatic(((T256*)(oBC364code_attribute)),_idx,1);
}
/*No:MANIFEST_STRING.can_be_dropped*/
/*No:MANIFEST_STRING.current_type*/
/*No:MANIFEST_STRING.jvm_assign*/
/*No:MANIFEST_STRING.static_value_mem*/
/*No:MANIFEST_STRING.is_manifest_string*/
/*No:MANIFEST_STRING.is_void*/
void r805compile_to_jvm(T805* C){
int _idx=0;
_idx=r805fieldref_idx(C);
r256opcode_getstatic(((T256*)(oBC364code_attribute)),_idx,1);
}
/*No:MANIFEST_STRING.is_pre_computable*/
/*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.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*/
/*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*/
void r85jvm_mapping_native_array_function(T0* a1,T0* a2){
T0* _ca=NULL;
int _point2=0;
int _point1=0;
int _loc1=0;
T0* _rc=NULL;
int _space=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))) {
r228drop_target(((T228*)(oBC364jvm)));
_space=X291jvm_stack_space(_elt_type);
r256opcode_push_integer(((T256*)(oBC364code_attribute)),_space);
}
 else if ((((T0*)ms86_473))==((void*)(a2))) {
r228push_target(((T228*)(oBC364jvm)));
_space=r228push_ith_argument(((T228*)(oBC364jvm)),1);
X291jvm_xaload(_elt_type);
}
 else if ((((T0*)ms54_473))==((void*)(a2))) {
r228drop_target(((T228*)(oBC364jvm)));
_space=r228push_ith_argument(((T228*)(oBC364jvm)),1);
X291jvm_xnewarray(_elt_type);
/*IF*/if ((X291is_user_expanded(_elt_type))&&(!(X291is_dummy_expanded(_elt_type)))) {
_ca=oBC364code_attribute;
_rc=X291run_class(_elt_type);
_loc1=r256extra_local_size1(((T256*)_ca));
/*[IRF3.4opcode_dup*/r256opcode(((T256*)_ca),89,1);
/*]*/
/*[IRF3.4opcode_arraylength*/r256opcode(((T256*)_ca),190,0);
/*]*/
r256opcode_istore(((T256*)_ca),_loc1);
_point1=/*(IRF4.9program_counter*//*(IRF4.6count*/((((T226*)((T226*)(oBC256code))))->_upper/*8*/)+(1)/*)*//*)*/;
r256opcode_iload(((T256*)_ca),_loc1);
_point2=r256opcode_ifle(((T256*)_ca));
r256opcode_iinc(((T256*)_ca),_loc1,255);
/*[IRF3.4opcode_dup*/r256opcode(((T256*)_ca),89,1);
/*]*/
r256opcode_iload(((T256*)_ca),_loc1);
r355jvm_expanded_push_default(((T355*)_rc));
/*[IRF3.4opcode_aastore*/r256opcode(((T256*)_ca),83,-(3));
/*]*/
r256opcode_goto_backward(((T256*)_ca),_point1);
r256resolve_u2_branch(_point2);
}
/*FI*/}
 else if ((a2)==((void*)(((T0*)ms77_473)))) {
r228drop_target(((T228*)(oBC364jvm)));
_space=r228push_ith_argument(((T228*)(oBC364jvm)),1);
}
else {
r85fe_nyi(a1);
}
/*FI*/}
/*No:NATIVE_SMALL_EIFFEL.us_maximum_character_code*/
/*No:NATIVE_SMALL_EIFFEL.us_minimum_real*/
/*No:NATIVE_SMALL_EIFFEL.us_sprintf_double*/
void r85jvm_add_method_for_procedure(T0* a1,T0* a2,T0* a3){
/*IF*/if ((((T0*)ms119_473))==((void*)(a3))) {
r228add_method(a1);
}
 else if ((((T0*)ms114_473))==((void*)(a3))) {
r228add_method(a1);
}
 else if ((((T0*)ms113_473))==((void*)(a3))) {
r228add_method(a1);
}
/*FI*/}
/*No:NATIVE_SMALL_EIFFEL.us_maximum_real*/
/*No:NATIVE_SMALL_EIFFEL.us_backslash_backslash*/
/*No:NATIVE_SMALL_EIFFEL.us_and*/
/*No:NATIVE_SMALL_EIFFEL.us_put_0*/
/*No:NATIVE_SMALL_EIFFEL.us_from_pointer*/
void r85jvm_define_se_remove(T0* a1){
T0* _ca=NULL;
T0* _cp=NULL;
int _loc1=0;
int _idx=0;
_cp=oBC364constant_pool;
_ca=oBC364code_attribute;
r906jvm_opening(((T906*)a1));
_idx=r95idx_class2(((T95*)_cp),((T0*)ms164_470));
r256opcode_new(((T256*)_ca),_idx);
/*[IRF3.4opcode_dup*/r256opcode(((T256*)_ca),89,1);
/*]*/
/*[IRF3.4opcode_aload_2*/r256opcode(((T256*)_ca),44,1);
/*]*/
/*[IRF3.4opcode_iconst_0*/r256opcode(((T256*)_ca),3,1);
/*]*/
/*[IRF3.4opcode_aload_1*/r256opcode(((T256*)_ca),43,1);
/*]*/
_idx=r95idx_methodref3(((T95*)_cp),((T0*)ms164_470),((T0*)ms167_470),((T0*)ms191_470));
r256opcode_invokespecial(((T256*)_ca),_idx,-(4));
_loc1=r256extra_local_size1(((T256*)_ca));
r256opcode_istore(((T256*)_ca),_loc1);
_idx=r95idx_class2(((T95*)_cp),((T0*)ms211_470));
r256opcode_new(((T256*)_ca),_idx);
/*[IRF3.4opcode_dup*/r256opcode(((T256*)_ca),89,1);
/*]*/
r256opcode_aload(((T256*)_ca),_loc1);
_idx=r95idx_methodref3(((T95*)_cp),((T0*)ms211_470),((T0*)ms167_470),((T0*)ms183_470));
r256opcode_invokespecial(((T256*)_ca),_idx,0);
_idx=r95idx_methodref3(((T95*)_cp),((T0*)ms211_470),((T0*)ms237_470),((T0*)ms213_470));
r256opcode_invokevirtual(((T256*)_ca),_idx,0);
/*[IRF3.4opcode_pop*/r256opcode(((T256*)_ca),87,-(1));
/*]*/
r906jvm_closing(((T906*)a1));
}
void r85jvm_define_se_rename(T0* a1){
T0* _ca=NULL;
T0* _cp=NULL;
int _loc2=0;
int _loc1=0;
int _idx=0;
_cp=oBC364constant_pool;
_ca=oBC364code_attribute;
r906jvm_opening(((T906*)a1));
_idx=r95idx_class2(((T95*)_cp),((T0*)ms164_470));
r256opcode_new(((T256*)_ca),_idx);
/*[IRF3.4opcode_dup*/r256opcode(((T256*)_ca),89,1);
/*]*/
/*[IRF3.4opcode_aload_2*/r256opcode(((T256*)_ca),44,1);
/*]*/
/*[IRF3.4opcode_iconst_0*/r256opcode(((T256*)_ca),3,1);
/*]*/
/*[IRF3.4opcode_aload_1*/r256opcode(((T256*)_ca),43,1);
/*]*/
_idx=r95idx_methodref3(((T95*)_cp),((T0*)ms164_470),((T0*)ms167_470),((T0*)ms191_470));
r256opcode_invokespecial(((T256*)_ca),_idx,-(4));
_loc1=r256extra_local_size1(((T256*)_ca));
r256opcode_istore(((T256*)_ca),_loc1);
_idx=r95idx_class2(((T95*)_cp),((T0*)ms211_470));
r256opcode_new(((T256*)_ca),_idx);
/*[IRF3.4opcode_dup*/r256opcode(((T256*)_ca),89,1);
/*]*/
r256opcode_aload(((T256*)_ca),_loc1);
_idx=r95idx_methodref3(((T95*)_cp),((T0*)ms211_470),((T0*)ms167_470),((T0*)ms183_470));
r256opcode_invokespecial(((T256*)_ca),_idx,0);
r256opcode_istore(((T256*)_ca),_loc1);
_idx=r95idx_class2(((T95*)_cp),((T0*)ms164_470));
r256opcode_new(((T256*)_ca),_idx);
/*[IRF3.4opcode_dup*/r256opcode(((T256*)_ca),89,1);
/*]*/
r256opcode_aload(((T256*)_ca),4);
/*[IRF3.4opcode_iconst_0*/r256opcode(((T256*)_ca),3,1);
/*]*/
/*[IRF3.4opcode_aload_3*/r256opcode(((T256*)_ca),45,1);
/*]*/
_idx=r95idx_methodref3(((T95*)_cp),((T0*)ms164_470),((T0*)ms167_470),((T0*)ms191_470));
r256opcode_invokespecial(((T256*)_ca),_idx,-(4));
_loc2=r256extra_local_size1(((T256*)_ca));
r256opcode_istore(((T256*)_ca),_loc2);
_idx=r95idx_class2(((T95*)_cp),((T0*)ms211_470));
r256opcode_new(((T256*)_ca),_idx);
/*[IRF3.4opcode_dup*/r256opcode(((T256*)_ca),89,1);
/*]*/
r256opcode_aload(((T256*)_ca),_loc2);
_idx=r95idx_methodref3(((T95*)_cp),((T0*)ms211_470),((T0*)ms167_470),((T0*)ms183_470));
r256opcode_invokespecial(((T256*)_ca),_idx,0);
r256opcode_istore(((T256*)_ca),_loc2);
r256opcode_aload(((T256*)_ca),_loc1);
r256opcode_aload(((T256*)_ca),_loc2);
_idx=r95idx_methodref3(((T95*)_cp),((T0*)ms211_470),((T0*)ms238_470),((T0*)ms239_470));
r256opcode_invokevirtual(((T256*)_ca),_idx,0);
/*[IRF3.4opcode_pop*/r256opcode(((T256*)_ca),87,-(1));
/*]*/
r906jvm_closing(((T906*)a1));
}
/*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*/
void r85jvm_standard_is_equal_aux(T0* a1,T0* a2){
int _i=0;
int _space=0;
int _idx=0;
int _point2=0;
int _point1=0;
T0* _rf2=NULL;
T0* _ca=NULL;
_ca=oBC364code_attribute;
/*IF*/if ((a2)==((void*)(NULL))) {
/*IF*/if (X291is_expanded((((T355*)((T355*)a1)))->_current_type/*0*/)) {
/*[IRF3.4opcode_pop*/r256opcode(((T256*)_ca),87,-(1));
/*]*/
/*[IRF3.4opcode_pop*/r256opcode(((T256*)_ca),87,-(1));
/*]*/
/*[IRF3.4opcode_iconst_1*/r256opcode(((T256*)_ca),4,1);
/*]*/
}
else {
/*[IRF3.4opcode_swap*/r256opcode(((T256*)_ca),95,0);
/*]*/
/*[IRF3.4opcode_pop*/r256opcode(((T256*)_ca),87,-(1));
/*]*/
_idx=r355fully_qualified_constant_pool_index(((T355*)a1));
r256opcode_instanceof(((T256*)_ca),_idx);
}
/*FI*/}
else {
/*[IRF3.3clear*/((((T226*)(((T226*)(oBC256branches)))))->_upper)=(-(1));
/*]*/
/*[IRF3.4opcode_dup*/r256opcode(((T256*)_ca),89,1);
/*]*/
_idx=r355fully_qualified_constant_pool_index(((T355*)a1));
r256opcode_instanceof(((T256*)_ca),_idx);
r226add_last(((T226*)(oBC256branches)),r256opcode_ifeq(((T256*)_ca)));
_i=(((T280*)((T280*)a2)))->_upper/*12*/;
while (!((_i)==(0))) {
_rf2=r280item(((T280*)a2),_i);
_idx=r95idx_fieldref(((T95*)(oBC364constant_pool)),_rf2);
_space=(X291jvm_stack_space((((T820*)((T820*)_rf2)))->_result_type/*24*/))-(1);
/*IF*/if ((_i)>(1)) {
/*[IRF3.4opcode_dup2*/r256opcode(((T256*)_ca),92,2);
/*]*/
}
/*FI*/r256opcode_getfield(((T256*)_ca),_idx,_space);
/*IF*/if ((_space)==(0)) {
/*[IRF3.4opcode_swap*/r256opcode(((T256*)_ca),95,0);
/*]*/
}
else {
/*[IRF3.4opcode_dup2_x1*/r256opcode(((T256*)_ca),93,2);
/*]*/
/*[IRF3.4opcode_pop2*/r256opcode(((T256*)_ca),88,-(2));
/*]*/
}
/*FI*/r256opcode_getfield(((T256*)_ca),_idx,_space);
/*IF*/if ((_i)>(1)) {
r226add_last(((T226*)(oBC256branches)),X291jvm_if_x_ne((((T820*)((T820*)_rf2)))->_result_type/*24*/));
}
else {
_point1=X291jvm_if_x_ne((((T820*)((T820*)_rf2)))->_result_type/*24*/);
}
/*FI*/_i=(_i)-(1);
}
/*[IRF3.4opcode_iconst_1*/r256opcode(((T256*)_ca),4,1);
/*]*/
_point2=r256opcode_goto(((T256*)_ca));
/*[IRF3.2resolve_branches*/r256resolve_with(oBC256branches);
/*]*/
/*[IRF3.4opcode_pop*/r256opcode(((T256*)_ca),87,-(1));
/*]*/
/*[IRF3.4opcode_pop*/r256opcode(((T256*)_ca),87,-(1));
/*]*/
r256resolve_u2_branch(_point1);
/*[IRF3.4opcode_iconst_0*/r256opcode(((T256*)_ca),3,1);
/*]*/
r256resolve_u2_branch(_point2);
}
/*FI*/}
/*No:NATIVE_SMALL_EIFFEL.us_stdout*/
/*No:NATIVE_SMALL_EIFFEL.us_put_1*/
/*No:NATIVE_SMALL_EIFFEL.us_item*/
void r85jvm_define_twin(T0* a1,T0* a2,T0* a3){
T0* _rf2=NULL;
T0* _wa=NULL;
int _i=0;
int _space=0;
int _idx=0;
r892jvm_opening(((T892*)a1));
_wa=r355writable_attributes(((T355*)a2));
_idx=r355fully_qualified_constant_pool_index(((T355*)a2));
r256opcode_new(((T256*)(oBC364code_attribute)),_idx);
/*[IRF3.4opcode_astore_1*/r256opcode(((T256*)(oBC364code_attribute)),76,-(1));
/*]*/
/*IF*/if ((_wa)!=((void*)(NULL))) {
_i=(((T280*)((T280*)_wa)))->_upper/*12*/;
while (!((_i)==(0))) {
_rf2=r280item(((T280*)_wa),_i);
/*[IRF3.4opcode_aload_1*/r256opcode(((T256*)(oBC364code_attribute)),43,1);
/*]*/
_idx=r95idx_fieldref(((T95*)(oBC364constant_pool)),_rf2);
_space=X291jvm_push_default((((T820*)((T820*)_rf2)))->_result_type/*24*/);
r256opcode_putfield(((T256*)(oBC364code_attribute)),_idx,-((_space)+(1)));
_i=(_i)-(1);
}
}
/*FI*/r228inside_twin(((T228*)(oBC364jvm)),a3);
r892jvm_closing(((T892*)a1));
}
/*No:NATIVE_SMALL_EIFFEL.us_se_remove*/
/*No:NATIVE_SMALL_EIFFEL.us_flush_stream*/
void r85jvm_mapping_bit_function(T0* a1,T0* a2){
T0* _cp=NULL;
T0* _ca=NULL;
int _loc2=0;
int _loc1=0;
int _point3=0;
int _point2=0;
int _point1=0;
int _idx=0;
int _space=0;
T0* _type_bit=NULL;
_ca=oBC364code_attribute;
_cp=oBC364constant_pool;
_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;
};/*IF*/if ((((T0*)ms60_473))==((void*)(a2))) {
r228drop_target(((T228*)(oBC364jvm)));
r256opcode_push_integer(((T256*)_ca),X609nb(_type_bit));
}
 else if ((((T0*)ms86_473))==((void*)(a2))) {
r228push_target(((T228*)(oBC364jvm)));
_space=r228push_ith_argument(((T228*)(oBC364jvm)),1);
/*[IRF3.4opcode_iconst_1*/r256opcode(((T256*)_ca),4,1);
/*]*/
/*[IRF3.4opcode_isub*/r256opcode(((T256*)_ca),100,-(1));
/*]*/
_idx=r95idx_methodref3(((T95*)_cp),((T0*)ms226_470),((T0*)ms228_470),((T0*)ms229_470));
r256opcode_invokevirtual(((T256*)_ca),_idx,-(1));
}
 else if ((((T0*)ms46_473))==((void*)(a2))) {
r228push_target(((T228*)(oBC364jvm)));
_space=r228push_ith_argument(((T228*)(oBC364jvm)),1);
_loc1=r256extra_local_size1(((T256*)_ca));
_loc2=r256extra_local_size1(((T256*)_ca));
r256opcode_istore(((T256*)_ca),_loc2);
_space=X609jvm_push_default(_type_bit);
/*[IRF3.4opcode_swap*/r256opcode(((T256*)_ca),95,0);
/*]*/
r256opcode_push_integer(((T256*)_ca),X609nb(_type_bit));
r256opcode_istore(((T256*)_ca),_loc1);
r256opcode_iload(((T256*)_ca),_loc1);
r256opcode_iload(((T256*)_ca),_loc2);
/*[IRF3.4opcode_isub*/r256opcode(((T256*)_ca),100,-(1));
/*]*/
r256opcode_istore(((T256*)_ca),_loc2);
r256opcode_iload(((T256*)_ca),_loc2);
_point1=/*(IRF4.9program_counter*//*(IRF4.6count*/((((T226*)((T226*)(oBC256code))))->_upper/*8*/)+(1)/*)*//*)*/;
_point2=r256opcode_ifeq(((T256*)_ca));
r256opcode_iinc(((T256*)_ca),_loc1,255);
r256opcode_iinc(((T256*)_ca),_loc2,255);
/*[IRF3.4opcode_dup2*/r256opcode(((T256*)_ca),92,2);
/*]*/
r256opcode_iload(((T256*)_ca),_loc2);
_idx=r95idx_methodref3(((T95*)_cp),((T0*)ms226_470),((T0*)ms228_470),((T0*)ms229_470));
r256opcode_invokevirtual(((T256*)_ca),_idx,-(1));
_point3=r256opcode_ifne(((T256*)_ca));
/*[IRF3.4opcode_pop*/r256opcode(((T256*)_ca),87,-(1));
/*]*/
r256opcode_iload(((T256*)_ca),_loc2);
r256opcode_goto_backward(((T256*)_ca),_point1);
r256resolve_u2_branch(_point3);
r256opcode_iload(((T256*)_ca),_loc1);
_idx=r95idx_methodref3(((T95*)_cp),((T0*)ms226_470),((T0*)ms230_470),((T0*)ms159_470));
r256opcode_invokevirtual(((T256*)_ca),_idx,-(2));
r256opcode_iload(((T256*)_ca),_loc2);
r256opcode_goto_backward(((T256*)_ca),_point1);
r256resolve_u2_branch(_point2);
/*[IRF3.4opcode_pop*/r256opcode(((T256*)_ca),87,-(1));
/*]*/
}
 else if ((((T0*)ms45_473))==((void*)(a2))) {
r228push_target(((T228*)(oBC364jvm)));
_space=r228push_ith_argument(((T228*)(oBC364jvm)),1);
_loc1=r256extra_local_size1(((T256*)_ca));
_loc2=r256extra_local_size1(((T256*)_ca));
r256opcode_istore(((T256*)_ca),_loc1);
_space=X609jvm_push_default(_type_bit);
/*[IRF3.4opcode_swap*/r256opcode(((T256*)_ca),95,0);
/*]*/
r256opcode_push_integer(((T256*)_ca),X609nb(_type_bit));
r256opcode_istore(((T256*)_ca),_loc2);
r256opcode_iload(((T256*)_ca),_loc2);
r256opcode_iload(((T256*)_ca),_loc1);
/*[IRF3.4opcode_isub*/r256opcode(((T256*)_ca),100,-(1));
/*]*/
r256opcode_istore(((T256*)_ca),_loc1);
r256opcode_iload(((T256*)_ca),_loc1);
_point1=/*(IRF4.9program_counter*//*(IRF4.6count*/((((T226*)((T226*)(oBC256code))))->_upper/*8*/)+(1)/*)*//*)*/;
_point2=r256opcode_ifeq(((T256*)_ca));
r256opcode_iinc(((T256*)_ca),_loc1,255);
r256opcode_iinc(((T256*)_ca),_loc2,255);
/*[IRF3.4opcode_dup2*/r256opcode(((T256*)_ca),92,2);
/*]*/
r256opcode_iload(((T256*)_ca),_loc2);
_idx=r95idx_methodref3(((T95*)_cp),((T0*)ms226_470),((T0*)ms228_470),((T0*)ms229_470));
r256opcode_invokevirtual(((T256*)_ca),_idx,-(1));
_point3=r256opcode_ifne(((T256*)_ca));
/*[IRF3.4opcode_pop*/r256opcode(((T256*)_ca),87,-(1));
/*]*/
r256opcode_iload(((T256*)_ca),_loc1);
r256opcode_goto_backward(((T256*)_ca),_point1);
r256resolve_u2_branch(_point3);
r256opcode_iload(((T256*)_ca),_loc1);
_idx=r95idx_methodref3(((T95*)_cp),((T0*)ms226_470),((T0*)ms230_470),((T0*)ms159_470));
r256opcode_invokevirtual(((T256*)_ca),_idx,-(2));
r256opcode_iload(((T256*)_ca),_loc1);
r256opcode_goto_backward(((T256*)_ca),_point1);
r256resolve_u2_branch(_point2);
/*[IRF3.4opcode_pop*/r256opcode(((T256*)_ca),87,-(1));
/*]*/
}
 else if ((((T0*)ms50_473))==((void*)(a2))) {
r228push_target(((T228*)(oBC364jvm)));
/*[IRF3.4opcode_dup*/r256opcode(((T256*)_ca),89,1);
/*]*/
_space=r228push_ith_argument(((T228*)(oBC364jvm)),1);
_idx=r95idx_methodref3(((T95*)_cp),((T0*)ms226_470),((T0*)ms50_473),((T0*)ms236_470));
r256opcode_invokevirtual(((T256*)_ca),_idx,0);
}
 else if ((((T0*)ms41_473))==((void*)(a2))) {
r228push_target(((T228*)(oBC364jvm)));
/*[IRF3.4opcode_dup*/r256opcode(((T256*)_ca),89,1);
/*]*/
_space=r228push_ith_argument(((T228*)(oBC364jvm)),1);
_idx=r95idx_methodref3(((T95*)_cp),((T0*)ms226_470),((T0*)ms41_473),((T0*)ms236_470));
r256opcode_invokevirtual(((T256*)_ca),_idx,0);
}
 else if ((((T0*)ms40_473))==((void*)(a2))) {
r228push_target(((T228*)(oBC364jvm)));
_loc1=r256extra_local_size1(((T256*)_ca));
r256opcode_push_integer(((T256*)_ca),X609nb(_type_bit));
r256opcode_istore(((T256*)_ca),_loc1);
r256opcode_iload(((T256*)_ca),_loc1);
_point1=/*(IRF4.9program_counter*//*(IRF4.6count*/((((T226*)((T226*)(oBC256code))))->_upper/*8*/)+(1)/*)*//*)*/;
_point2=r256opcode_ifeq(((T256*)_ca));
r256opcode_iinc(((T256*)_ca),_loc1,255);
/*[IRF3.4opcode_dup*/r256opcode(((T256*)_ca),89,1);
/*]*/
r256opcode_iload(((T256*)_ca),_loc1);
_idx=r95idx_methodref3(((T95*)_cp),((T0*)ms226_470),((T0*)ms228_470),((T0*)ms229_470));
r256opcode_invokevirtual(((T256*)_ca),_idx,-(1));
_point3=r256opcode_ifne(((T256*)_ca));
/*[IRF3.4opcode_dup*/r256opcode(((T256*)_ca),89,1);
/*]*/
r256opcode_iload(((T256*)_ca),_loc1);
_idx=r95idx_methodref3(((T95*)_cp),((T0*)ms226_470),((T0*)ms230_470),((T0*)ms159_470));
r256opcode_invokevirtual(((T256*)_ca),_idx,-(2));
r256opcode_iload(((T256*)_ca),_loc1);
r256opcode_goto_backward(((T256*)_ca),_point1);
r256resolve_u2_branch(_point3);
/*[IRF3.4opcode_dup*/r256opcode(((T256*)_ca),89,1);
/*]*/
r256opcode_iload(((T256*)_ca),_loc1);
_idx=r95idx_methodref3(((T95*)_cp),((T0*)ms226_470),((T0*)ms231_470),((T0*)ms159_470));
r256opcode_invokevirtual(((T256*)_ca),_idx,-(2));
r256opcode_iload(((T256*)_ca),_loc1);
r256opcode_goto_backward(((T256*)_ca),_point1);
r256resolve_u2_branch(_point2);
}
 else if ((((T0*)ms27_473))==((void*)(a2))) {
r228push_target(((T228*)(oBC364jvm)));
/*[IRF3.4opcode_dup*/r256opcode(((T256*)_ca),89,1);
/*]*/
_space=r228push_ith_argument(((T228*)(oBC364jvm)),1);
_idx=r95idx_methodref3(((T95*)_cp),((T0*)ms226_470),((T0*)ms27_473),((T0*)ms236_470));
r256opcode_invokevirtual(((T256*)_ca),_idx,0);
}
 else if ((((T0*)ms132_473))==((void*)(a2))) {
r85jvm_bit_to_int(8);
}
 else if ((((T0*)ms134_473))==((void*)(a2))) {
r85jvm_bit_to_int(32);
}
/*FI*/}
/*No:NATIVE_SMALL_EIFFEL.us_floor*/
/*No:NATIVE_SMALL_EIFFEL.us_double_bits*/
/*No:NATIVE_SMALL_EIFFEL.us_is_expanded_type*/
void r85jvm_mapping_bit_procedure(T0* a1,T0* a2){
T0* _cp=NULL;
T0* _ca=NULL;
int _point2=0;
int _point1=0;
int _idx=0;
int _space=0;
T0* _type_bit=NULL;
_ca=oBC364code_attribute;
_cp=oBC364constant_pool;
_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)))) {
r228push_target(((T228*)(oBC364jvm)));
_space=r228push_ith_argument(((T228*)(oBC364jvm)),1);
/*[IRF3.4opcode_iconst_1*/r256opcode(((T256*)_ca),4,1);
/*]*/
/*[IRF3.4opcode_isub*/r256opcode(((T256*)_ca),100,-(1));
/*]*/
_idx=r95idx_methodref3(((T95*)_cp),((T0*)ms226_470),((T0*)ms231_470),((T0*)ms159_470));
r256opcode_invokevirtual(((T256*)_ca),_idx,-(2));
}
 else if ((a2)==((void*)(((T0*)ms106_473)))) {
r228push_target(((T228*)(oBC364jvm)));
_space=r228push_ith_argument(((T228*)(oBC364jvm)),1);
/*[IRF3.4opcode_iconst_1*/r256opcode(((T256*)_ca),4,1);
/*]*/
/*[IRF3.4opcode_isub*/r256opcode(((T256*)_ca),100,-(1));
/*]*/
_idx=r95idx_methodref3(((T95*)_cp),((T0*)ms226_470),((T0*)ms230_470),((T0*)ms159_470));
r256opcode_invokevirtual(((T256*)_ca),_idx,-(2));
}
else {
r228push_target(((T228*)(oBC364jvm)));
_space=r228push_ith_argument(((T228*)(oBC364jvm)),1);
_space=r228push_ith_argument(((T228*)(oBC364jvm)),2);
/*[IRF3.4opcode_iconst_1*/r256opcode(((T256*)_ca),4,1);
/*]*/
/*[IRF3.4opcode_isub*/r256opcode(((T256*)_ca),100,-(1));
/*]*/
/*[IRF3.4opcode_swap*/r256opcode(((T256*)_ca),95,0);
/*]*/
_point1=r256opcode_ifne(((T256*)_ca));
_idx=r95idx_methodref3(((T95*)_cp),((T0*)ms226_470),((T0*)ms231_470),((T0*)ms159_470));
r256opcode_invokevirtual(((T256*)_ca),_idx,-(2));
_point2=r256opcode_goto(((T256*)_ca));
r256resolve_u2_branch(_point1);
_idx=r95idx_methodref3(((T95*)_cp),((T0*)ms226_470),((T0*)ms230_470),((T0*)ms159_470));
r256opcode_invokevirtual(((T256*)_ca),_idx,-(2));
r256resolve_u2_branch(_point2);
}
/*FI*/}
/*No:NATIVE_SMALL_EIFFEL.us_ge*/
void r85jvm_mapping_real_function(T0* a1,T0* a2){
T0* _ca=NULL;
int _space=0;
int _point2=0;
int _point1=0;
_ca=oBC364code_attribute;
/*IF*/if ((r892arg_count(((T892*)a1)))==(1)) {
r228push_target(((T228*)(oBC364jvm)));
_space=r228push_ith_argument(((T228*)(oBC364jvm)),1);
/*IF*/if ((((T0*)ms43_473))==((void*)(a2))) {
/*[IRF3.4opcode_fadd*/r256opcode(((T256*)_ca),98,-(1));
/*]*/
}
 else if ((((T0*)ms37_473))==((void*)(a2))) {
/*[IRF3.4opcode_fsub*/r256opcode(((T256*)_ca),102,-(1));
/*]*/
}
 else if ((((T0*)ms38_473))==((void*)(a2))) {
/*[IRF3.4opcode_fmul*/r256opcode(((T256*)_ca),106,-(1));
/*]*/
}
 else if ((((T0*)ms47_473))==((void*)(a2))) {
/*[IRF3.4opcode_fdiv*/r256opcode(((T256*)_ca),110,-(1));
/*]*/
}
else {
/*[IRF3.4opcode_fcmpg*/r256opcode(((T256*)_ca),150,-(1));
/*]*/
/*IF*/if ((((T0*)ms33_473))==((void*)(a2))) {
_point1=r256opcode_ifgt(((T256*)_ca));
}
 else if ((((T0*)ms36_473))==((void*)(a2))) {
_point1=r256opcode_iflt(((T256*)_ca));
}
 else if ((((T0*)ms35_473))==((void*)(a2))) {
_point1=r256opcode_ifle(((T256*)_ca));
}
 else if ((((T0*)ms32_473))==((void*)(a2))) {
_point1=r256opcode_ifge(((T256*)_ca));
}
/*FI*//*[IRF3.4opcode_iconst_0*/r256opcode(((T256*)_ca),3,1);
/*]*/
_point2=r256opcode_goto(((T256*)_ca));
r256resolve_u2_branch(_point1);
/*[IRF3.4opcode_iconst_1*/r256opcode(((T256*)_ca),4,1);
/*]*/
r256resolve_u2_branch(_point2);
}
/*FI*/}
 else if ((((T0*)ms37_473))==((void*)(a2))) {
r228push_target(((T228*)(oBC364jvm)));
/*[IRF3.4opcode_fneg*/r256opcode(((T256*)_ca),118,0);
/*]*/
}
 else if ((((T0*)ms133_473))==((void*)(a2))) {
r228push_target(((T228*)(oBC364jvm)));
/*[IRF3.4opcode_f2d*/r256opcode(((T256*)_ca),141,1);
/*]*/
}
/*FI*/}
/*No:NATIVE_SMALL_EIFFEL.us_stdin*/
/*No:NATIVE_SMALL_EIFFEL.us_slash*/
/*No:NATIVE_SMALL_EIFFEL.us_standard_twin*/
/*No:NATIVE_SMALL_EIFFEL.us_truncated_to_integer*/
/*No:NATIVE_SMALL_EIFFEL.us_write_byte*/
/*No:NATIVE_SMALL_EIFFEL.us_stderr*/
/*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_sfr_open*/
/*No:NATIVE_SMALL_EIFFEL.us_sfw_open*/
/*No:NATIVE_SMALL_EIFFEL.us_character*/
void r85jvm_define_sprintf_double(T0* a1){
T0* _ca=NULL;
T0* _cp=NULL;
int _point3=0;
int _point2=0;
int _point1=0;
int _loc2=0;
int _loc1=0;
int _idx=0;
_cp=oBC364constant_pool;
_ca=oBC364code_attribute;
r906jvm_opening(((T906*)a1));
/*[IRF3.4opcode_dload_0*/r256opcode(((T256*)_ca),38,2);
/*]*/
_idx=r95idx_methodref3(((T95*)_cp),((T0*)ms188_470),((T0*)ms189_470),((T0*)ms190_470));
r256opcode_invokestatic(((T256*)_ca),_idx,1);
r256opcode_java_string2bytes_array(((T256*)_ca));
_loc1=r256extra_local_size1(((T256*)_ca));
r256opcode_astore(((T256*)_ca),_loc1);
_loc2=r256extra_local_size1(((T256*)_ca));
/*[IRF3.4opcode_iconst_0*/r256opcode(((T256*)_ca),3,1);
/*]*/
r256opcode_istore(((T256*)_ca),_loc2);
_point1=/*(IRF4.9program_counter*//*(IRF4.6count*/((((T226*)((T226*)(oBC256code))))->_upper/*8*/)+(1)/*)*//*)*/;
r256opcode_aload(((T256*)_ca),_loc1);
/*[IRF3.4opcode_arraylength*/r256opcode(((T256*)_ca),190,0);
/*]*/
r256opcode_iload(((T256*)_ca),_loc2);
_point2=r256opcode_if_icmple(((T256*)_ca));
/*[IRF3.4opcode_aload_2*/r256opcode(((T256*)_ca),44,1);
/*]*/
r256opcode_iload(((T256*)_ca),_loc2);
r256opcode_aload(((T256*)_ca),_loc1);
r256opcode_iload(((T256*)_ca),_loc2);
/*[IRF3.4opcode_baload*/r256opcode(((T256*)_ca),51,-(1));
/*]*/
/*[IRF3.4opcode_bastore*/r256opcode(((T256*)_ca),84,-(3));
/*]*/
r256opcode_aload(((T256*)_ca),_loc1);
r256opcode_iload(((T256*)_ca),_loc2);
/*[IRF3.4opcode_baload*/r256opcode(((T256*)_ca),51,-(1));
/*]*/
r256opcode_bipush(((T256*)_ca),((unsigned char)'\56'));
r256opcode_iinc(((T256*)_ca),_loc2,1);
_point3=r256opcode_if_icmpeq(((T256*)_ca));
r256opcode_goto_backward(((T256*)_ca),_point1);
r256resolve_u2_branch(_point2);
r256resolve_u2_branch(_point3);
_point1=/*(IRF4.9program_counter*//*(IRF4.6count*/((((T226*)((T226*)(oBC256code))))->_upper/*8*/)+(1)/*)*//*)*/;
r256opcode_aload(((T256*)_ca),_loc1);
/*[IRF3.4opcode_arraylength*/r256opcode(((T256*)_ca),190,0);
/*]*/
r256opcode_iload(((T256*)_ca),_loc2);
_point2=r256opcode_if_icmple(((T256*)_ca));
/*[IRF3.4opcode_iload_3*/r256opcode(((T256*)_ca),29,1);
/*]*/
_point3=r256opcode_ifeq(((T256*)_ca));
/*[IRF3.4opcode_aload_2*/r256opcode(((T256*)_ca),44,1);
/*]*/
r256opcode_iload(((T256*)_ca),_loc2);
r256opcode_aload(((T256*)_ca),_loc1);
r256opcode_iload(((T256*)_ca),_loc2);
/*[IRF3.4opcode_baload*/r256opcode(((T256*)_ca),51,-(1));
/*]*/
/*[IRF3.4opcode_bastore*/r256opcode(((T256*)_ca),84,-(3));
/*]*/
r256opcode_iinc(((T256*)_ca),_loc2,1);
r256opcode_iinc(((T256*)_ca),3,255);
r256opcode_goto_backward(((T256*)_ca),_point1);
r256resolve_u2_branch(_point2);
r256resolve_u2_branch(_point3);
_point1=/*(IRF4.9program_counter*//*(IRF4.6count*/((((T226*)((T226*)(oBC256code))))->_upper/*8*/)+(1)/*)*//*)*/;
/*[IRF3.4opcode_iload_3*/r256opcode(((T256*)_ca),29,1);
/*]*/
_point2=r256opcode_ifeq(((T256*)_ca));
/*[IRF3.4opcode_aload_2*/r256opcode(((T256*)_ca),44,1);
/*]*/
r256opcode_iload(((T256*)_ca),_loc2);
r256opcode_bipush(((T256*)_ca),((unsigned char)'0'));
/*[IRF3.4opcode_bastore*/r256opcode(((T256*)_ca),84,-(3));
/*]*/
r256opcode_iinc(((T256*)_ca),_loc2,1);
r256opcode_iinc(((T256*)_ca),3,255);
r256opcode_goto_backward(((T256*)_ca),_point1);
r256resolve_u2_branch(_point2);
/*[IRF3.4opcode_aload_2*/r256opcode(((T256*)_ca),44,1);
/*]*/
r256opcode_iload(((T256*)_ca),_loc2);
/*[IRF3.4opcode_iconst_0*/r256opcode(((T256*)_ca),3,1);
/*]*/
/*[IRF3.4opcode_bastore*/r256opcode(((T256*)_ca),84,-(3));
/*]*/
r906jvm_closing(((T906*)a1));
}
/*No:NATIVE_SMALL_EIFFEL.us_shift_left*/
void r85jvm_standard_twin(T0* a1){
T0* _wa=NULL;
T0* _rc=NULL;
/*IF*/if ((X291is_basic_eiffel_expanded(a1))||(r85native_array(a1))) {
r228push_target(((T228*)(oBC364jvm)));
}
else {
_rc=X291run_class(a1);
_wa=r355writable_attributes(((T355*)_rc));
/*IF*/if (X291is_expanded(a1)) {
/*IF*/if ((_wa)==((void*)(NULL))) {
r228push_target(((T228*)(oBC364jvm)));
}
else {
r85jvm_standard_twin_aux(_rc,_wa);
}
/*FI*/}
else {
r85jvm_standard_twin_aux(_rc,_wa);
}
/*FI*/}
/*FI*/}
/*No:NATIVE_SMALL_EIFFEL.us_le*/
void r85jvm_add_method_for_function(T0* a1,T0* a2,T0* a3){
T0* _rf7=NULL;
T0* _rf=NULL;
T0* _rc=NULL;
T0* _ct=NULL;
/*IF*/if ((((T0*)ms14_473))==((void*)(a2))) {
/*IF*/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))) {
}
else {
r228add_method(a1);
}
/*FI*/}
 else if ((((T0*)ms78_473))==((void*)(a3))) {
r228add_method(a1);
}
 else if ((((T0*)ms79_473))==((void*)(a3))) {
r228add_method(a1);
}
/*FI*/}
 else if ((((T0*)ms118_473))==((void*)(a3))) {
r228add_method(a1);
}
 else if ((((T0*)ms117_473))==((void*)(a3))) {
r228add_method(a1);
}
 else if ((((T0*)ms115_473))==((void*)(a3))) {
r228add_method(a1);
}
/*FI*/}
/*No:NATIVE_SMALL_EIFFEL.fz_32*/
/*No:NATIVE_SMALL_EIFFEL.fz_60*/
/*No:NATIVE_SMALL_EIFFEL.us_bitn*/
void r85jvm_bit_to_int(int a1){
T0* _cp=NULL;
T0* _ca=NULL;
int _loc2=0;
int _loc1=0;
int _point2=0;
int _point1=0;
int _idx=0;
_ca=oBC364code_attribute;
_cp=oBC364constant_pool;
r228push_target(((T228*)(oBC364jvm)));
_loc1=r256extra_local_size1(((T256*)_ca));
/*[IRF3.4opcode_iconst_0*/r256opcode(((T256*)_ca),3,1);
/*]*/
r256opcode_istore(((T256*)_ca),_loc1);
_loc2=r256extra_local_size1(((T256*)_ca));
/*[IRF3.4opcode_iconst_0*/r256opcode(((T256*)_ca),3,1);
/*]*/
r256opcode_istore(((T256*)_ca),_loc2);
/*[IRF3.4opcode_iconst_1*/r256opcode(((T256*)_ca),4,1);
/*]*/
_point1=/*(IRF4.9program_counter*//*(IRF4.6count*/((((T226*)((T226*)(oBC256code))))->_upper/*8*/)+(1)/*)*//*)*/;
_point2=r256opcode_ifeq(((T256*)_ca));
r256opcode_iload(((T256*)_ca),_loc2);
/*[IRF3.4opcode_iconst_1*/r256opcode(((T256*)_ca),4,1);
/*]*/
/*[IRF3.4opcode_ishl*/r256opcode(((T256*)_ca),120,-(1));
/*]*/
r256opcode_istore(((T256*)_ca),_loc2);
/*[IRF3.4opcode_dup*/r256opcode(((T256*)_ca),89,1);
/*]*/
r256opcode_iload(((T256*)_ca),_loc1);
_idx=r95idx_methodref3(((T95*)_cp),((T0*)ms226_470),((T0*)ms228_470),((T0*)ms229_470));
r256opcode_invokevirtual(((T256*)_ca),_idx,-(1));
r256opcode_iload(((T256*)_ca),_loc2);
/*[IRF3.4opcode_ior*/r256opcode(((T256*)_ca),128,-(1));
/*]*/
r256opcode_istore(((T256*)_ca),_loc2);
r256opcode_iinc(((T256*)_ca),_loc1,1);
r256opcode_push_integer(((T256*)_ca),a1);
r256opcode_iload(((T256*)_ca),_loc1);
/*[IRF3.4opcode_isub*/r256opcode(((T256*)_ca),100,-(1));
/*]*/
r256opcode_goto_backward(((T256*)_ca),_point1);
r256resolve_u2_branch(_point2);
/*[IRF3.4opcode_pop*/r256opcode(((T256*)_ca),87,-(1));
/*]*/
r256opcode_iload(((T256*)_ca),_loc2);
}
/*No:NATIVE_SMALL_EIFFEL.fz_a0*/
/*No:NATIVE_SMALL_EIFFEL.us_twin*/
/*No:NATIVE_SMALL_EIFFEL.fz_70*/
/*No:NATIVE_SMALL_EIFFEL.jvm_se_getenv*/
void r85jvm_int_to_bit(T0* a1,int a2){
T0* _cp=NULL;
T0* _ca=NULL;
int _loc2=0;
int _loc1=0;
int _point3=0;
int _point2=0;
int _point1=0;
int _idx=0;
_ca=oBC364code_attribute;
_cp=oBC364constant_pool;
r228push_target(((T228*)(oBC364jvm)));
_loc1=r256extra_local_size1(((T256*)_ca));
r256opcode_push_integer(((T256*)_ca),a2);
r256opcode_istore(((T256*)_ca),_loc1);
_loc2=r256extra_local_size1(((T256*)_ca));
_idx=X291jvm_push_default(a1);
r256opcode_istore(((T256*)_ca),_loc2);
/*[IRF3.4opcode_iconst_1*/r256opcode(((T256*)_ca),4,1);
/*]*/
_point1=/*(IRF4.9program_counter*//*(IRF4.6count*/((((T226*)((T226*)(oBC256code))))->_upper/*8*/)+(1)/*)*//*)*/;
_point2=r256opcode_ifeq(((T256*)_ca));
r256opcode_iinc(((T256*)_ca),_loc1,255);
/*[IRF3.4opcode_dup*/r256opcode(((T256*)_ca),89,1);
/*]*/
/*[IRF3.4opcode_iconst_1*/r256opcode(((T256*)_ca),4,1);
/*]*/
/*[IRF3.4opcode_iand*/r256opcode(((T256*)_ca),126,-(1));
/*]*/
_point3=r256opcode_ifeq(((T256*)_ca));
r256opcode_iload(((T256*)_ca),_loc2);
r256opcode_iload(((T256*)_ca),_loc1);
_idx=r95idx_methodref3(((T95*)_cp),((T0*)ms226_470),((T0*)ms230_470),((T0*)ms159_470));
r256opcode_invokevirtual(((T256*)_ca),_idx,-(2));
r256resolve_u2_branch(_point3);
/*[IRF3.4opcode_iconst_1*/r256opcode(((T256*)_ca),4,1);
/*]*/
/*[IRF3.4opcode_iushr*/r256opcode(((T256*)_ca),124,-(1));
/*]*/
r256opcode_iload(((T256*)_ca),_loc1);
r256opcode_goto_backward(((T256*)_ca),_point1);
r256resolve_u2_branch(_point2);
/*[IRF3.4opcode_pop*/r256opcode(((T256*)_ca),87,-(1));
/*]*/
r256opcode_iload(((T256*)_ca),_loc2);
}
/*No:NATIVE_SMALL_EIFFEL.fz_61*/
/*No:NATIVE_SMALL_EIFFEL.us_bit_n*/
/*No:NATIVE_SMALL_EIFFEL.fz_80*/
/*No:NATIVE_SMALL_EIFFEL.us_real*/
/*No:NATIVE_SMALL_EIFFEL.us_die_with_code*/
void r85jvm_mapping_double_function(T0* a1,T0* a2){
T0* _ca=NULL;
int _idx=0;
int _space=0;
int _point2=0;
int _point1=0;
_ca=oBC364code_attribute;
/*IF*/if ((r892arg_count(((T892*)a1)))==(1)) {
r228push_target(((T228*)(oBC364jvm)));
_space=r228push_ith_argument(((T228*)(oBC364jvm)),1);
/*IF*/if ((((T0*)ms43_473))==((void*)(a2))) {
/*[IRF3.4opcode_dadd*/r256opcode(((T256*)_ca),99,-(2));
/*]*/
}
 else if ((((T0*)ms37_473))==((void*)(a2))) {
/*[IRF3.4opcode_dsub*/r256opcode(((T256*)_ca),103,-(2));
/*]*/
}
 else if ((((T0*)ms38_473))==((void*)(a2))) {
/*[IRF3.4opcode_dmul*/r256opcode(((T256*)_ca),107,-(2));
/*]*/
}
 else if ((((T0*)ms47_473))==((void*)(a2))) {
/*[IRF3.4opcode_ddiv*/r256opcode(((T256*)_ca),111,-(2));
/*]*/
}
 else if ((((T0*)ms44_473))==((void*)(a2))) {
/*[IRF3.4opcode_i2d*/r256opcode(((T256*)_ca),135,1);
/*]*/
_idx=r95idx_methodref3(((T95*)(oBC364constant_pool)),((T0*)ms219_470),((T0*)ms75_85),((T0*)ms225_470));
r256opcode_invokestatic(((T256*)_ca),_idx,-(2));
}
else {
/*[IRF3.4opcode_dcmpg*/r256opcode(((T256*)_ca),152,-(3));
/*]*/
/*IF*/if ((((T0*)ms33_473))==((void*)(a2))) {
_point1=r256opcode_ifgt(((T256*)_ca));
}
 else if ((((T0*)ms36_473))==((void*)(a2))) {
_point1=r256opcode_iflt(((T256*)_ca));
}
 else if ((((T0*)ms35_473))==((void*)(a2))) {
_point1=r256opcode_ifle(((T256*)_ca));
}
 else if ((((T0*)ms32_473))==((void*)(a2))) {
_point1=r256opcode_ifge(((T256*)_ca));
}
/*FI*//*[IRF3.4opcode_iconst_0*/r256opcode(((T256*)_ca),3,1);
/*]*/
_point2=r256opcode_goto(((T256*)_ca));
r256resolve_u2_branch(_point1);
/*[IRF3.4opcode_iconst_1*/r256opcode(((T256*)_ca),4,1);
/*]*/
r256resolve_u2_branch(_point2);
}
/*FI*/}
 else if ((((T0*)ms37_473))==((void*)(a2))) {
r228push_target(((T228*)(oBC364jvm)));
/*[IRF3.4opcode_dneg*/r256opcode(((T256*)_ca),119,0);
/*]*/
}
 else if ((((T0*)ms136_473))==((void*)(a2))) {
r228push_target(((T228*)(oBC364jvm)));
/*[IRF3.4opcode_d2f*/r256opcode(((T256*)_ca),144,-(1));
/*]*/
}
 else if ((((T0*)ms68_473))==((void*)(a2))) {
r228push_target(((T228*)(oBC364jvm)));
_idx=r95idx_methodref3(((T95*)(oBC364constant_pool)),((T0*)ms219_470),((T0*)ms74_473),((T0*)ms220_470));
r256opcode_invokestatic(((T256*)_ca),_idx,0);
}
 else if ((((T0*)ms138_473))==((void*)(a2))) {
r228push_target(((T228*)(oBC364jvm)));
_idx=r95idx_methodref3(((T95*)(oBC364constant_pool)),((T0*)ms219_470),((T0*)ms74_473),((T0*)ms220_470));
r256opcode_invokestatic(((T256*)_ca),_idx,0);
/*[IRF3.4opcode_d2i*/r256opcode(((T256*)_ca),142,-(1));
/*]*/
}
else {
r228push_target(((T228*)(oBC364jvm)));
_idx=r95idx_methodref3(((T95*)(oBC364constant_pool)),((T0*)ms219_470),a2,((T0*)ms220_470));
r256opcode_invokestatic(((T256*)_ca),_idx,0);
}
/*FI*/}
/*No:NATIVE_SMALL_EIFFEL.fz_71*/
/*No:NATIVE_SMALL_EIFFEL.fz_b1*/
void r85jvm_standard_twin_aux(T0* a1,T0* a2){
int _i=0;
int _space=0;
int _idx=0;
T0* _rf2=NULL;
T0* _ca=NULL;
_ca=oBC364code_attribute;
_idx=r355fully_qualified_constant_pool_index(((T355*)a1));
r256opcode_new(((T256*)_ca),_idx);
/*IF*/if ((a2)==((void*)(NULL))) {
r228drop_target(((T228*)(oBC364jvm)));
}
else {
r228push_target(((T228*)(oBC364jvm)));
_i=(((T280*)((T280*)a2)))->_upper/*12*/;
while (!((_i)==(0))) {
_rf2=r280item(((T280*)a2),_i);
/*[IRF3.4opcode_dup2*/r256opcode(((T256*)_ca),92,2);
/*]*/
_idx=r95idx_fieldref(((T95*)(oBC364constant_pool)),_rf2);
_space=X291jvm_stack_space((((T820*)((T820*)_rf2)))->_result_type/*24*/);
r256opcode_getfield(((T256*)_ca),_idx,(_space)-(1));
r256opcode_putfield(((T256*)_ca),_idx,(_space)+(1));
_i=(_i)-(1);
}
/*[IRF3.4opcode_pop*/r256opcode(((T256*)_ca),87,-(1));
/*]*/
}
/*FI*/}
/*No:NATIVE_SMALL_EIFFEL.us_implies*/
/*No:NATIVE_SMALL_EIFFEL.fz_62*/
/*No:NATIVE_SMALL_EIFFEL.fz_25*/
/*No:NATIVE_SMALL_EIFFEL.fz_a2*/
/*No:NATIVE_SMALL_EIFFEL.fz_53*/
/*No:NATIVE_SMALL_EIFFEL.fz_90*/
/*No:NATIVE_SMALL_EIFFEL.us_is_basic_expanded_type*/
void r85jvm_sfr_open(T0* a1){
T0* _ca=NULL;
T0* _cp=NULL;
int _idx=0;
int _point=0;
_cp=oBC364constant_pool;
_ca=oBC364code_attribute;
r892jvm_opening(((T892*)a1));
_idx=r95idx_class2(((T95*)_cp),((T0*)ms164_470));
r256opcode_new(((T256*)_ca),_idx);
/*[IRF3.4opcode_dup*/r256opcode(((T256*)_ca),89,1);
/*]*/
/*[IRF3.4opcode_aload_2*/r256opcode(((T256*)_ca),44,1);
/*]*/
/*[IRF3.4opcode_iconst_0*/r256opcode(((T256*)_ca),3,1);
/*]*/
/*[IRF3.4opcode_aload_1*/r256opcode(((T256*)_ca),43,1);
/*]*/
_idx=r95idx_methodref3(((T95*)_cp),((T0*)ms164_470),((T0*)ms167_470),((T0*)ms191_470));
r256opcode_invokespecial(((T256*)_ca),_idx,-(4));
/*[IRF3.4opcode_astore_3*/r256opcode(((T256*)_ca),78,-(1));
/*]*/
_idx=r95idx_class2(((T95*)_cp),((T0*)ms211_470));
r256opcode_new(((T256*)_ca),_idx);
/*[IRF3.4opcode_dup*/r256opcode(((T256*)_ca),89,1);
/*]*/
/*[IRF3.4opcode_aload_3*/r256opcode(((T256*)_ca),45,1);
/*]*/
_idx=r95idx_methodref3(((T95*)_cp),((T0*)ms211_470),((T0*)ms167_470),((T0*)ms183_470));
r256opcode_invokespecial(((T256*)_ca),_idx,0);
/*[IRF3.4opcode_astore_3*/r256opcode(((T256*)_ca),78,-(1));
/*]*/
/*[IRF3.4opcode_aload_3*/r256opcode(((T256*)_ca),45,1);
/*]*/
_idx=r95idx_methodref3(((T95*)_cp),((T0*)ms211_470),((T0*)ms212_470),((T0*)ms213_470));
r256opcode_invokevirtual(((T256*)_ca),_idx,0);
_point=r256opcode_ifeq(((T256*)_ca));
_idx=r95idx_class2(((T95*)_cp),((T0*)ms193_470));
r256opcode_new(((T256*)_ca),_idx);
/*[IRF3.4opcode_dup*/r256opcode(((T256*)_ca),89,1);
/*]*/
/*[IRF3.4opcode_aload_3*/r256opcode(((T256*)_ca),45,1);
/*]*/
_idx=r95idx_methodref3(((T95*)_cp),((T0*)ms193_470),((T0*)ms167_470),((T0*)ms214_470));
r256opcode_invokespecial(((T256*)_ca),_idx,-(2));
/*[IRF3.2opcode_areturn*//*[IRF3.6add_u1*/{int b1=176;
r226add_last(((T226*)(oBC256code)),b1);
}/*]*/
/*]*/
r256resolve_u2_branch(_point);
/*[IRF3.4opcode_aconst_null*/r256opcode(((T256*)_ca),1,1);
/*]*/
/*[IRF3.4opcode_astore_3*/r256opcode(((T256*)_ca),78,-(1));
/*]*/
r892jvm_closing(((T892*)a1));
}
void r85jvm_sfw_open(T0* a1){
T0* _ca=NULL;
T0* _cp=NULL;
int _idx=0;
_cp=oBC364constant_pool;
_ca=oBC364code_attribute;
r892jvm_opening(((T892*)a1));
_idx=r95idx_class2(((T95*)_cp),((T0*)ms164_470));
r256opcode_new(((T256*)_ca),_idx);
/*[IRF3.4opcode_dup*/r256opcode(((T256*)_ca),89,1);
/*]*/
/*[IRF3.4opcode_aload_2*/r256opcode(((T256*)_ca),44,1);
/*]*/
/*[IRF3.4opcode_iconst_0*/r256opcode(((T256*)_ca),3,1);
/*]*/
/*[IRF3.4opcode_aload_1*/r256opcode(((T256*)_ca),43,1);
/*]*/
_idx=r95idx_methodref3(((T95*)_cp),((T0*)ms164_470),((T0*)ms167_470),((T0*)ms191_470));
r256opcode_invokespecial(((T256*)_ca),_idx,-(4));
/*[IRF3.4opcode_astore_3*/r256opcode(((T256*)_ca),78,-(1));
/*]*/
_idx=r95idx_class2(((T95*)_cp),((T0*)ms211_470));
r256opcode_new(((T256*)_ca),_idx);
/*[IRF3.4opcode_dup*/r256opcode(((T256*)_ca),89,1);
/*]*/
/*[IRF3.4opcode_aload_3*/r256opcode(((T256*)_ca),45,1);
/*]*/
_idx=r95idx_methodref3(((T95*)_cp),((T0*)ms211_470),((T0*)ms167_470),((T0*)ms183_470));
r256opcode_invokespecial(((T256*)_ca),_idx,0);
/*[IRF3.4opcode_astore_3*/r256opcode(((T256*)_ca),78,-(1));
/*]*/
_idx=r95idx_class2(((T95*)_cp),((T0*)ms198_470));
r256opcode_new(((T256*)_ca),_idx);
/*[IRF3.4opcode_dup*/r256opcode(((T256*)_ca),89,1);
/*]*/
/*[IRF3.4opcode_aload_3*/r256opcode(((T256*)_ca),45,1);
/*]*/
_idx=r95idx_methodref3(((T95*)_cp),((T0*)ms198_470),((T0*)ms167_470),((T0*)ms214_470));
r256opcode_invokespecial(((T256*)_ca),_idx,-(2));
/*[IRF3.4opcode_astore_3*/r256opcode(((T256*)_ca),78,-(1));
/*]*/
r892jvm_closing(((T892*)a1));
}
/*No:NATIVE_SMALL_EIFFEL.us_generating_type*/
/*No:NATIVE_SMALL_EIFFEL.fz_72*/
/*No:NATIVE_SMALL_EIFFEL.fz_35*/
/*No:NATIVE_SMALL_EIFFEL.fz_26*/
/*No:NATIVE_SMALL_EIFFEL.fz_b2*/
/*No:NATIVE_SMALL_EIFFEL.fz_63*/
/*No:NATIVE_SMALL_EIFFEL.fz_a3*/
/*No:NATIVE_SMALL_EIFFEL.fz_91*/
void r85jvm_mapping_procedure(T0* a1,T0* a2,T0* a3){
T0* _ca=NULL;
T0* _t=NULL;
int _idx=0;
int _space=0;
_ca=oBC364code_attribute;
/*IF*/if (((((T0*)ms64_473))==((void*)(a3)))||((((T0*)ms121_473))==((void*)(a3)))) {
_t=(((T906*)((T906*)a1)))->_current_type/*4*/;
/*IF*/if (X291is_basic_eiffel_expanded(_t)) {
r228drop_target(((T228*)(oBC364jvm)));
r228drop_ith_argument(((T228*)(oBC364jvm)),1);
}
else {
r85jvm_copy((((T906*)((T906*)a1)))->_current_type/*4*/);
}
/*FI*/}
 else if ((((T0*)ms75_473))==((void*)(a3))) {
r228drop_target(((T228*)(oBC364jvm)));
_space=r228push_ith_argument(((T228*)(oBC364jvm)),1);
_idx=r95idx_methodref3(((T95*)(oBC364constant_pool)),((T0*)ms157_470),((T0*)ms61_85),((T0*)ms161_470));
r256opcode_invokevirtual(((T256*)_ca),_idx,-(1));
}
 else if ((((T0*)ms142_473))==((void*)(a3))) {
_space=r228push_ith_argument(((T228*)(oBC364jvm)),1);
_space=r228push_ith_argument(((T228*)(oBC364jvm)),2);
_idx=r95idx_methodref3(((T95*)(oBC364constant_pool)),((T0*)ms157_470),((T0*)ms62_85),((T0*)ms159_470));
r256opcode_invokevirtual(((T256*)_ca),_idx,-(2));
}
 else if ((((T0*)ms69_473))==((void*)(a3))) {
r228drop_target(((T228*)(oBC364jvm)));
_space=r228push_ith_argument(((T228*)(oBC364jvm)),1);
r256opcode_system_exit(((T256*)_ca));
}
 else if ((((T0*)ms76_473))==((void*)(a3))) {
r228drop_target(((T228*)(oBC364jvm)));
}
 else if ((((T0*)ms103_473))==((void*)(a3))) {
r228drop_target(((T228*)(oBC364jvm)));
r256opcode_runtime_trace_instructions(((T256*)_ca),1);
}
 else if ((((T0*)ms18_473))==((void*)(a2))) {
r85jvm_mapping_native_array_procedure(a1,a3);
}
 else if ((((T0*)ms120_473))==((void*)(a3))) {
r228drop_target(((T228*)(oBC364jvm)));
_space=r228push_ith_argument(((T228*)(oBC364jvm)),1);
/*[IRF3.4opcode_dup*/r256opcode(((T256*)_ca),89,1);
/*]*/
/*[IRF3.4opcode_iconst_0*/r256opcode(((T256*)_ca),3,1);
/*]*/
r256opcode_bipush(((T256*)_ca),((unsigned char)'1'));
/*[IRF3.4opcode_bastore*/r256opcode(((T256*)_ca),84,-(3));
/*]*/
/*[IRF3.4opcode_iconst_1*/r256opcode(((T256*)_ca),4,1);
/*]*/
r256opcode_bipush(((T256*)_ca),((unsigned char)'0'));
/*[IRF3.4opcode_bastore*/r256opcode(((T256*)_ca),84,-(3));
/*]*/
}
 else if ((((T0*)ms119_473))==((void*)(a3))) {
r906routine_mapping_jvm(((T906*)a1));
}
 else if ((((T0*)ms114_473))==((void*)(a3))) {
r906routine_mapping_jvm(((T906*)a1));
}
 else if ((((T0*)ms113_473))==((void*)(a3))) {
r906routine_mapping_jvm(((T906*)a1));
}
 else if ((((T0*)ms116_473))==((void*)(a3))) {
/*[IRF3.2jvm_se_system*/{T0* _ca=NULL;
T0* _cp=NULL;
int _idx=0;
int _space=0;
_cp=oBC364constant_pool;
_ca=oBC364code_attribute;
_idx=r95idx_methodref3(((T95*)_cp),((T0*)ms179_470),((T0*)ms181_470),((T0*)ms182_470));
r256opcode_invokestatic(((T256*)_ca),_idx,1);
_idx=r95idx_class2(((T95*)_cp),((T0*)ms164_470));
r256opcode_new(((T256*)_ca),_idx);
/*[IRF3.4opcode_dup*/r256opcode(((T256*)_ca),89,1);
/*]*/
_space=r228push_ith_argument(((T228*)(oBC364jvm)),2);
/*[IRF3.4opcode_iconst_0*/r256opcode(((T256*)_ca),3,1);
/*]*/
_space=r228push_ith_argument(((T228*)(oBC364jvm)),1);
_idx=r95idx_methodref3(((T95*)_cp),((T0*)ms164_470),((T0*)ms167_470),((T0*)ms191_470));
r256opcode_invokespecial(((T256*)_ca),_idx,-(4));
_idx=r95idx_methodref3(((T95*)_cp),((T0*)ms179_470),((T0*)ms215_470),((T0*)ms216_470));
r256opcode_invokevirtual(((T256*)_ca),_idx,-(1));
_idx=r95idx_methodref3(((T95*)_cp),((T0*)ms218_470),((T0*)ms217_470),((T0*)ms197_470));
r256opcode_invokevirtual(((T256*)_ca),_idx,0);
/*[IRF3.4opcode_pop*/r256opcode(((T256*)_ca),87,-(1));
/*]*/
}/*]*/
}
 else if ((((T0*)ms4_473))==((void*)(a2))) {
r85jvm_mapping_bit_procedure(a1,a3);
}
else {
r85fe_nyi(a1);
}
/*FI*/}
/*No:NATIVE_SMALL_EIFFEL.us_shift_right*/
/*No:NATIVE_SMALL_EIFFEL.us_count*/
/*No:NATIVE_SMALL_EIFFEL.us_minus*/
/*No:NATIVE_SMALL_EIFFEL.fz_36*/
/*No:NATIVE_SMALL_EIFFEL.us_se_argc*/
void r85jvm_standard_is_equal(T0* a1){
int _space=0;
int _point2=0;
int _point1=0;
T0* _wa=NULL;
T0* _rc=NULL;
T0* _ca=NULL;
_ca=oBC364code_attribute;
r228push_target(((T228*)(oBC364jvm)));
_space=r228push_ith_argument(((T228*)(oBC364jvm)),1);
/*IF*/if ((X291is_basic_eiffel_expanded(a1))||(r85native_array(a1))) {
_point1=X291jvm_if_x_eq(a1);
/*[IRF3.4opcode_iconst_0*/r256opcode(((T256*)_ca),3,1);
/*]*/
_point2=r256opcode_goto(((T256*)_ca));
r256resolve_u2_branch(_point1);
/*[IRF3.4opcode_iconst_1*/r256opcode(((T256*)_ca),4,1);
/*]*/
r256resolve_u2_branch(_point2);
}
else {
_rc=X291run_class(a1);
_wa=r355writable_attributes(((T355*)_rc));
/*IF*/if (X291is_expanded(a1)) {
/*IF*/if ((_wa)==((void*)(NULL))) {
/*[IRF3.4opcode_pop*/r256opcode(((T256*)_ca),87,-(1));
/*]*/
/*[IRF3.4opcode_pop*/r256opcode(((T256*)_ca),87,-(1));
/*]*/
/*[IRF3.4opcode_iconst_1*/r256opcode(((T256*)_ca),4,1);
/*]*/
}
else {
r85jvm_standard_is_equal_aux(_rc,_wa);
}
/*FI*/}
else {
r85jvm_standard_is_equal_aux(_rc,_wa);
}
/*FI*/}
/*FI*/}
/*No:NATIVE_SMALL_EIFFEL.fz_b3*/
/*No:NATIVE_SMALL_EIFFEL.fz_64*/
void r85jvm_define_procedure(T0* a1,T0* a2,T0* a3){
/*IF*/if ((((T0*)ms119_473))==((void*)(a3))) {
r85jvm_define_sprintf_double(a1);
}
 else if ((((T0*)ms114_473))==((void*)(a3))) {
r85jvm_define_se_rename(a1);
}
 else if ((((T0*)ms113_473))==((void*)(a3))) {
r85jvm_define_se_remove(a1);
}
/*FI*/}
/*No:NATIVE_SMALL_EIFFEL.fz_27*/
/*No:NATIVE_SMALL_EIFFEL.us_object_size*/
/*No:NATIVE_SMALL_EIFFEL.fz_a4*/
/*No:NATIVE_SMALL_EIFFEL.fz_55*/
/*No:NATIVE_SMALL_EIFFEL.fz_92*/
void r85jvm_mapping_integer_function(T0* a1,T0* a2){
T0* _ca=NULL;
int _space=0;
int _point2=0;
int _point1=0;
_ca=oBC364code_attribute;
/*IF*/if ((((T0*)ms47_473))==((void*)(a2))) {
r228push_target(((T228*)(oBC364jvm)));
/*[IRF3.4opcode_i2d*/r256opcode(((T256*)_ca),135,1);
/*]*/
_space=r228push_ith_argument(((T228*)(oBC364jvm)),1);
/*[IRF3.4opcode_i2d*/r256opcode(((T256*)_ca),135,1);
/*]*/
/*[IRF3.4opcode_ddiv*/r256opcode(((T256*)_ca),111,-(2));
/*]*/
}
 else if ((r892arg_count(((T892*)a1)))==(1)) {
r228push_target(((T228*)(oBC364jvm)));
_space=r228push_ith_argument(((T228*)(oBC364jvm)),1);
/*IF*/if ((((T0*)ms43_473))==((void*)(a2))) {
/*[IRF3.4opcode_iadd*/r256opcode(((T256*)_ca),96,-(1));
/*]*/
}
 else if ((((T0*)ms37_473))==((void*)(a2))) {
/*[IRF3.4opcode_isub*/r256opcode(((T256*)_ca),100,-(1));
/*]*/
}
 else if ((((T0*)ms38_473))==((void*)(a2))) {
/*[IRF3.4opcode_imul*/r256opcode(((T256*)_ca),104,-(1));
/*]*/
}
 else if ((((T0*)ms48_473))==((void*)(a2))) {
/*[IRF3.4opcode_idiv*/r256opcode(((T256*)_ca),108,-(1));
/*]*/
}
 else if ((((T0*)ms30_473))==((void*)(a2))) {
/*[IRF3.4opcode_irem*/r256opcode(((T256*)_ca),112,-(1));
/*]*/
}
else {
/*IF*/if ((((T0*)ms33_473))==((void*)(a2))) {
_point1=r256opcode_if_icmpgt(((T256*)_ca));
}
 else if ((((T0*)ms36_473))==((void*)(a2))) {
_point1=r256opcode_if_icmplt(((T256*)_ca));
}
 else if ((((T0*)ms35_473))==((void*)(a2))) {
_point1=r256opcode_if_icmple(((T256*)_ca));
}
else {
_point1=r256opcode_if_icmpge(((T256*)_ca));
}
/*FI*//*[IRF3.4opcode_iconst_0*/r256opcode(((T256*)_ca),3,1);
/*]*/
_point2=r256opcode_goto(((T256*)_ca));
r256resolve_u2_branch(_point1);
/*[IRF3.4opcode_iconst_1*/r256opcode(((T256*)_ca),4,1);
/*]*/
r256resolve_u2_branch(_point2);
}
/*FI*/}
 else if ((((T0*)ms132_473))==((void*)(a2))) {
r228push_target(((T228*)(oBC364jvm)));
/*[IRF3.4opcode_i2b*/r256opcode(((T256*)(oBC364code_attribute)),145,0);
/*]*/
}
 else if ((((T0*)ms131_473))==((void*)(a2))) {
r85jvm_int_to_bit((((T892*)((T892*)a1)))->_result_type/*24*/,32);
}
else {
r228push_target(((T228*)(oBC364jvm)));
/*[IRF3.4opcode_ineg*/r256opcode(((T256*)(oBC364code_attribute)),116,0);
/*]*/
}
/*FI*/}
/*No:NATIVE_SMALL_EIFFEL.us_se_rename*/
/*No:NATIVE_SMALL_EIFFEL.us_code*/
/*No:NATIVE_SMALL_EIFFEL.fz_b4*/
/*No:NATIVE_SMALL_EIFFEL.fz_65*/
/*No:NATIVE_SMALL_EIFFEL.us_standard_is_equal*/
/*No:NATIVE_SMALL_EIFFEL.fz_93*/
/*No:NATIVE_SMALL_EIFFEL.fz_a5*/
/*No:NATIVE_SMALL_EIFFEL.fz_56*/
/*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_is_not_void*/
/*No:NATIVE_SMALL_EIFFEL.fz_29*/
/*No:NATIVE_SMALL_EIFFEL.fz_94*/
/*No:NATIVE_SMALL_EIFFEL.fz_57*/
/*No:NATIVE_SMALL_EIFFEL.us_pointer_size*/
void r85jvm_object_size(T0* a1){
T0* _wa=NULL;
int _i=0;
int _space=0;
T0* _t=NULL;
/*IF*/if (X291is_basic_eiffel_expanded(a1)) {
_space=X291jvm_stack_space(a1);
}
else {
_wa=r355writable_attributes(((T355*)(X291run_class(a1))));
/*IF*/if ((_wa)!=((void*)(NULL))) {
_i=(((T280*)((T280*)_wa)))->_upper/*12*/;
while (!((_i)==(0))) {
_t=(((T820*)((T820*)(r280item(((T280*)_wa),_i)))))->_result_type/*24*/;
_space=(_space)+(X291jvm_stack_space(_t));
_i=(_i)-(1);
}
}
/*FI*/}
/*FI*/r256opcode_push_integer(((T256*)(oBC364code_attribute)),_space);
}
/*No:NATIVE_SMALL_EIFFEL.us_double*/
/*No:NATIVE_SMALL_EIFFEL.us_to_double*/
/*No:NATIVE_SMALL_EIFFEL.fz_85*/
/*No:NATIVE_SMALL_EIFFEL.us_xor*/
/*No:NATIVE_SMALL_EIFFEL.fz_67*/
/*No:NATIVE_SMALL_EIFFEL.fz_95*/
/*No:NATIVE_SMALL_EIFFEL.fz_86*/
/*No:NATIVE_SMALL_EIFFEL.fz_77*/
/*No:NATIVE_SMALL_EIFFEL.us_platform*/
/*No:NATIVE_SMALL_EIFFEL.us_is_equal*/
/*No:NATIVE_SMALL_EIFFEL.us_to_bit*/
/*No:NATIVE_SMALL_EIFFEL.us_to_character*/
/*No:NATIVE_SMALL_EIFFEL.fz_87*/
/*No:NATIVE_SMALL_EIFFEL.fz_78*/
/*No:NATIVE_SMALL_EIFFEL.us_se_string2double*/
/*No:NATIVE_SMALL_EIFFEL.fz_69*/
void r85jvm_se_string2double(T0* a1){
T0* _ca=NULL;
T0* _cp=NULL;
int _idx=0;
_cp=oBC364constant_pool;
_ca=oBC364code_attribute;
r892jvm_opening(((T892*)a1));
_idx=r95idx_class2(((T95*)_cp),((T0*)ms164_470));
r256opcode_new(((T256*)_ca),_idx);
/*[IRF3.4opcode_dup*/r256opcode(((T256*)_ca),89,1);
/*]*/
/*[IRF3.4opcode_aload_2*/r256opcode(((T256*)_ca),44,1);
/*]*/
/*[IRF3.4opcode_iconst_0*/r256opcode(((T256*)_ca),3,1);
/*]*/
/*[IRF3.4opcode_aload_1*/r256opcode(((T256*)_ca),43,1);
/*]*/
_idx=r95idx_methodref3(((T95*)_cp),((T0*)ms164_470),((T0*)ms167_470),((T0*)ms191_470));
r256opcode_invokespecial(((T256*)_ca),_idx,-(4));
_idx=r95idx_methodref3(((T95*)_cp),((T0*)ms188_470),((T0*)ms186_470),((T0*)ms187_470));
r256opcode_invokestatic(((T256*)_ca),_idx,1);
r256opcode_dstore(((T256*)_ca),3);
r892jvm_closing(((T892*)a1));
}
/*No:NATIVE_SMALL_EIFFEL.us_free*/
/*No:NATIVE_SMALL_EIFFEL.fz_a9*/
/*No:NATIVE_SMALL_EIFFEL.us_read_byte*/
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;
}
void r85jvm_mapping_native_array_procedure(T0* a1,T0* a2){
int _space=0;
T0* _elt_type=NULL;
_elt_type=X291run_type(r701item(((T701*)(X291generic_list((((T906*)((T906*)a1)))->_current_type/*4*/))),1));
/*IF*/if ((((T0*)ms104_473))==((void*)(a2))) {
r228push_target(((T228*)(oBC364jvm)));
_space=r228push_ith_argument(((T228*)(oBC364jvm)),2);
_space=r228push_ith_argument(((T228*)(oBC364jvm)),1);
X291jvm_xastore(_elt_type);
}
else {
r228drop_target(((T228*)(oBC364jvm)));
}
/*FI*/}
void r85jvm_copy(T0* a1){
int _i=0;
int _space=0;
int _idx=0;
T0* _rf2=NULL;
T0* _wa=NULL;
T0* _rc=NULL;
_rc=X291run_class(a1);
_wa=r355writable_attributes(((T355*)_rc));
/*IF*/if ((_wa)==((void*)(NULL))) {
r228drop_target(((T228*)(oBC364jvm)));
r228drop_ith_argument(((T228*)(oBC364jvm)),1);
}
else {
r228push_target(((T228*)(oBC364jvm)));
_space=r228push_ith_argument(((T228*)(oBC364jvm)),1);
_i=(((T280*)((T280*)_wa)))->_upper/*12*/;
while (!((_i)==(0))) {
/*IF*/if ((_i)>(1)) {
/*[IRF3.4opcode_dup2*/r256opcode(((T256*)(oBC364code_attribute)),92,2);
/*]*/
}
/*FI*/_rf2=r280item(((T280*)_wa),_i);
_idx=r95idx_fieldref(((T95*)(oBC364constant_pool)),_rf2);
_space=X291jvm_stack_space((((T820*)((T820*)_rf2)))->_result_type/*24*/);
r256opcode_getfield(((T256*)(oBC364code_attribute)),_idx,(_space)-(1));
r256opcode_putfield(((T256*)(oBC364code_attribute)),_idx,-((_space)+(1)));
_i=(_i)-(1);
}
}
/*FI*/}
/*No:NATIVE_SMALL_EIFFEL.us_not*/
/*No:NATIVE_SMALL_EIFFEL.fz_88*/
/*No:NATIVE_SMALL_EIFFEL.fz_79*/
/*No:NATIVE_SMALL_EIFFEL.us_muls*/
/*No:NATIVE_SMALL_EIFFEL.fz_98*/
/*No:NATIVE_SMALL_EIFFEL.us_boolean_bits*/
void r85jvm_define_function(T0* a1,T0* a2,T0* a3){
T0* _ca=NULL;
T0* _cp=NULL;
int _point1=0;
int _field_idx=0;
int _rc_idx=0;
T0* _rf7=NULL;
T0* _rf=NULL;
T0* _rc=NULL;
T0* _ct=NULL;
_cp=oBC364constant_pool;
_ca=oBC364code_attribute;
/*IF*/if ((((T0*)ms14_473))==((void*)(a2))) {
/*IF*/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))) {
}
else {
r85jvm_define_twin(a1,_rc,_rf);
}
/*FI*/}
 else if ((((T0*)ms78_473))==((void*)(a3))) {
r892jvm_opening(((T892*)a1));
_ct=(((T892*)((T892*)a1)))->_current_type/*4*/;
_rc=X291run_class(_ct);
_rc_idx=r355fully_qualified_constant_pool_index(((T355*)_rc));
_field_idx=r95idx_fieldref_generating_type(((T95*)_cp),_rc_idx);
r256opcode_getstatic(((T256*)_ca),_field_idx,1);
/*[IRF3.4opcode_dup*/r256opcode(((T256*)_ca),89,1);
/*]*/
_point1=r256opcode_ifnonnull(((T256*)_ca));
/*[IRF3.4opcode_pop*/r256opcode(((T256*)_ca),87,-(1));
/*]*/
r256opcode_push_manifest_string(((T256*)_ca),X291run_time_mark(_ct));
/*[IRF3.4opcode_dup*/r256opcode(((T256*)_ca),89,1);
/*]*/
r256opcode_putstatic(((T256*)_ca),_field_idx,-(1));
r256resolve_u2_branch(_point1);
r892jvm_closing_fast(((T892*)a1));
}
 else if ((((T0*)ms79_473))==((void*)(a3))) {
r892jvm_opening(((T892*)a1));
_ct=(((T892*)((T892*)a1)))->_current_type/*4*/;
_rc=X291run_class(_ct);
_rc_idx=r355fully_qualified_constant_pool_index(((T355*)_rc));
_field_idx=r95idx_fieldref_generator(((T95*)_cp),_rc_idx);
r256opcode_getstatic(((T256*)_ca),_field_idx,1);
/*[IRF3.4opcode_dup*/r256opcode(((T256*)_ca),89,1);
/*]*/
_point1=r256opcode_ifnonnull(((T256*)_ca));
/*[IRF3.4opcode_pop*/r256opcode(((T256*)_ca),87,-(1));
/*]*/
r256opcode_push_manifest_string(((T256*)_ca),(((T451*)((T451*)(X291base_class_name(_ct)))))->_to_string/*0*/);
/*[IRF3.4opcode_dup*/r256opcode(((T256*)_ca),89,1);
/*]*/
r256opcode_putstatic(((T256*)_ca),_field_idx,-(1));
r256resolve_u2_branch(_point1);
r892jvm_closing_fast(((T892*)a1));
}
/*FI*/}
 else if ((((T0*)ms118_473))==((void*)(a3))) {
r85jvm_sfw_open(a1);
}
 else if ((((T0*)ms117_473))==((void*)(a3))) {
r85jvm_sfr_open(a1);
}
 else if ((((T0*)ms115_473))==((void*)(a3))) {
r85jvm_se_string2double(a1);
}
/*FI*/}
/*No:NATIVE_SMALL_EIFFEL.fz_89*/
/*No:NATIVE_SMALL_EIFFEL.us_se_getenv*/
/*No:NATIVE_SMALL_EIFFEL.us_to_integer*/
/*No:NATIVE_SMALL_EIFFEL.us_gt*/
/*No:NATIVE_SMALL_EIFFEL.us_calloc*/
/*No:NATIVE_SMALL_EIFFEL.fz_99*/
/*No:NATIVE_SMALL_EIFFEL.us_to_pointer*/
/*No:NATIVE_SMALL_EIFFEL.fatal_error*/
/*No:NATIVE_SMALL_EIFFEL.us_real_bits*/
/*No:NATIVE_SMALL_EIFFEL.us_plus*/
/*No:NATIVE_SMALL_EIFFEL.us_element_sizeof*/
/*No:NATIVE_SMALL_EIFFEL.us_native_array*/
/*No:NATIVE_SMALL_EIFFEL.us_pow*/
/*No:NATIVE_SMALL_EIFFEL.jvm_se_system*/
/*No:NATIVE_SMALL_EIFFEL.us_eof_code*/
/*No:NATIVE_SMALL_EIFFEL.us_print_run_time_stack*/
/*No:NATIVE_SMALL_EIFFEL.us_minimum_double*/
/*No:NATIVE_SMALL_EIFFEL.us_lt*/
void r85jvm_mapping_function(T0* a1,T0* a2,T0* a3){
T0* _ca=NULL;
T0* _cp=NULL;
int _idx=0;
int _space=0;
int _point2=0;
int _point1=0;
T0* _rf7=NULL;
T0* _rf=NULL;
T0* _rc=NULL;
T0* _ct=NULL;
_ca=oBC364code_attribute;
_cp=oBC364constant_pool;
/*IF*/if ((((T0*)ms135_473))==((void*)(a3))) {
r228push_target(((T228*)(oBC364jvm)));
}
 else if ((((T0*)ms125_473))==((void*)(a3))) {
r256opcode_system_in(((T256*)_ca));
}
 else if ((((T0*)ms126_473))==((void*)(a3))) {
r256opcode_system_out(((T256*)_ca));
}
 else if ((((T0*)ms124_473))==((void*)(a3))) {
r256opcode_system_err(((T256*)_ca));
}
 else if ((((T0*)ms15_473))==((void*)(a2))) {
r85jvm_mapping_integer_function(a1,a3);
}
 else if ((((T0*)ms23_473))==((void*)(a2))) {
r85jvm_mapping_real_function(a1,a3);
}
 else if ((((T0*)ms11_473))==((void*)(a2))) {
r85jvm_mapping_double_function(a1,a3);
}
 else if ((((T0*)ms18_473))==((void*)(a2))) {
r85jvm_mapping_native_array_function(a1,a3);
}
 else if ((((T0*)ms8_473))==((void*)(a2))) {
/*IF*/if ((((T0*)ms62_473))==((void*)(a3))) {
r228push_target(((T228*)(oBC364jvm)));
/*[IRF3.4opcode_dup*/r256opcode(((T256*)_ca),89,1);
/*]*/
_point1=r256opcode_ifge(((T256*)_ca));
r256opcode_sipush(((T256*)_ca),255);
/*[IRF3.4opcode_iand*/r256opcode(((T256*)_ca),126,-(1));
/*]*/
r256resolve_u2_branch(_point1);
}
 else if ((((T0*)ms134_473))==((void*)(a3))) {
r228push_target(((T228*)(oBC364jvm)));
}
else {
r85jvm_int_to_bit((((T892*)((T892*)a1)))->_result_type/*24*/,8);
}
/*FI*/}
 else if ((((T0*)ms85_473))==((void*)(a3))) {
r228push_target(((T228*)(oBC364jvm)));
_point1=r256opcode_ifnonnull(((T256*)_ca));
/*[IRF3.4opcode_iconst_0*/r256opcode(((T256*)_ca),3,1);
/*]*/
_point2=r256opcode_goto(((T256*)_ca));
r256resolve_u2_branch(_point1);
/*[IRF3.4opcode_iconst_1*/r256opcode(((T256*)_ca),4,1);
/*]*/
r256resolve_u2_branch(_point2);
}
 else if ((((T0*)ms34_473))==((void*)(a3))) {
r228push_target(((T228*)(oBC364jvm)));
_point1=r256opcode_ifeq(((T256*)_ca));
_space=r228push_ith_argument(((T228*)(oBC364jvm)),1);
_point2=r256opcode_goto(((T256*)_ca));
r256resolve_u2_branch(_point1);
/*[IRF3.4opcode_iconst_1*/r256opcode(((T256*)_ca),4,1);
/*]*/
r256resolve_u2_branch(_point2);
}
 else if ((((T0*)ms14_473))==((void*)(a2))) {
/*IF*/if ((((T0*)ms78_473))==((void*)(a3))) {
r892routine_mapping_jvm(((T892*)a1));
}
 else if ((((T0*)ms79_473))==((void*)(a3))) {
r892routine_mapping_jvm(((T892*)a1));
}
 else if ((((T0*)ms135_473))==((void*)(a3))) {
r85fe_nyi(a1);
}
 else if ((((T0*)ms98_473))==((void*)(a3))) {
r228drop_target(((T228*)(oBC364jvm)));
_ct=(((T892*)((T892*)a1)))->_current_type/*4*/;
r85jvm_object_size(_ct);
}
 else if (((((T0*)ms84_473))==((void*)(a3)))||((((T0*)ms122_473))==((void*)(a3)))) {
r85jvm_standard_is_equal((((T892*)((T892*)a1)))->_current_type/*4*/);
}
 else if ((((T0*)ms123_473))==((void*)(a3))) {
r85jvm_standard_twin((((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))) {
r85jvm_standard_twin(_ct);
}
else {
r892routine_mapping_jvm(((T892*)a1));
}
/*FI*/}
 else if ((((T0*)ms82_473))==((void*)(a3))) {
r228drop_target(((T228*)(oBC364jvm)));
/*IF*/if (X291is_basic_eiffel_expanded((((T892*)((T892*)a1)))->_current_type/*4*/)) {
/*[IRF3.4opcode_iconst_1*/r256opcode(((T256*)_ca),4,1);
/*]*/
}
else {
/*[IRF3.4opcode_iconst_0*/r256opcode(((T256*)_ca),3,1);
/*]*/
}
/*FI*/}
 else if ((((T0*)ms83_473))==((void*)(a3))) {
r228drop_target(((T228*)(oBC364jvm)));
/*IF*/if (X291is_expanded((((T892*)((T892*)a1)))->_current_type/*4*/)) {
/*[IRF3.4opcode_iconst_1*/r256opcode(((T256*)_ca),4,1);
/*]*/
}
else {
/*[IRF3.4opcode_iconst_0*/r256opcode(((T256*)_ca),3,1);
/*]*/
}
/*FI*/}
 else if ((((T0*)ms110_473))==((void*)(a3))) {
/*[IRF3.2push_se_argc*/{T0* _ca=NULL;
_ca=oBC364code_attribute;
r256opcode_getstatic(((T256*)_ca),r228args_field_idx(),1);
/*[IRF3.4opcode_arraylength*/r256opcode(((T256*)_ca),190,0);
/*]*/
/*[IRF3.4opcode_iconst_1*/r256opcode(((T256*)_ca),4,1);
/*]*/
/*[IRF3.4opcode_iadd*/r256opcode(((T256*)_ca),96,-(1));
/*]*/
}/*]*/
}
 else if ((((T0*)ms111_473))==((void*)(a3))) {
r228push_se_argv(((T228*)(oBC364jvm)));
}
 else if ((((T0*)ms112_473))==((void*)(a3))) {
/*[IRF3.2jvm_se_getenv*/{T0* _ca=NULL;
T0* _cp=NULL;
int _idx=0;
int _point1=0;
int _space=0;
_cp=oBC364constant_pool;
_ca=oBC364code_attribute;
_idx=r95idx_class2(((T95*)_cp),((T0*)ms164_470));
r256opcode_new(((T256*)_ca),_idx);
/*[IRF3.4opcode_dup*/r256opcode(((T256*)_ca),89,1);
/*]*/
_space=r228push_ith_argument(((T228*)(oBC364jvm)),2);
/*[IRF3.4opcode_iconst_0*/r256opcode(((T256*)_ca),3,1);
/*]*/
_space=r228push_ith_argument(((T228*)(oBC364jvm)),1);
_idx=r95idx_methodref3(((T95*)_cp),((T0*)ms164_470),((T0*)ms167_470),((T0*)ms191_470));
r256opcode_invokespecial(((T256*)_ca),_idx,-(2));
_idx=r95idx_methodref3(((T95*)_cp),((T0*)ms168_470),((T0*)ms205_470),((T0*)ms206_470));
r256opcode_invokestatic(((T256*)_ca),_idx,0);
/*[IRF3.4opcode_dup*/r256opcode(((T256*)_ca),89,1);
/*]*/
_point1=r256opcode_ifeq(((T256*)_ca));
r256opcode_java_string2eiffel_string(((T256*)_ca));
r256resolve_u2_branch(_point1);
}/*]*/
}
else {
r85fe_nyi(a1);
}
/*FI*/}
 else if ((((T0*)ms20_473))==((void*)(a2))) {
r228drop_target(((T228*)(oBC364jvm)));
/*IF*/if ((((T0*)ms56_473))==((void*)(a3))) {
r256opcode_bipush(((T256*)_ca),8);
}
 else if ((((T0*)ms81_473))==((void*)(a3))) {
r256opcode_bipush(((T256*)_ca),32);
}
 else if ((((T0*)ms53_473))==((void*)(a3))) {
r256opcode_bipush(((T256*)_ca),32);
}
 else if ((((T0*)ms108_473))==((void*)(a3))) {
r256opcode_bipush(((T256*)_ca),32);
}
 else if ((((T0*)ms67_473))==((void*)(a3))) {
r256opcode_bipush(((T256*)_ca),64);
}
 else if ((((T0*)ms99_473))==((void*)(a3))) {
r256opcode_bipush(((T256*)_ca),32);
}
 else if ((((T0*)ms90_473))==((void*)(a3))) {
r256opcode_bipush(((T256*)_ca),0);
}
 else if ((((T0*)ms91_473))==((void*)(a3))) {
_idx=r95idx_fieldref3(((T95*)_cp),((T0*)ms188_470),((T0*)ms224_470),((T0*)ms203_470));
r256opcode_getstatic(((T256*)_ca),_idx,2);
}
 else if ((((T0*)ms92_473))==((void*)(a3))) {
/*[IRF3.4opcode_iconst_m1*/r256opcode(((T256*)_ca),2,1);
/*]*/
/*[IRF3.4opcode_iconst_1*/r256opcode(((T256*)_ca),4,1);
/*]*/
/*[IRF3.4opcode_iushr*/r256opcode(((T256*)_ca),124,-(1));
/*]*/
/*[IRF3.4opcode_ineg*/r256opcode(((T256*)_ca),116,0);
/*]*/
/*[IRF3.4opcode_iconst_m1*/r256opcode(((T256*)_ca),2,1);
/*]*/
/*[IRF3.4opcode_iadd*/r256opcode(((T256*)_ca),96,-(1));
/*]*/
}
 else if ((((T0*)ms93_473))==((void*)(a3))) {
_idx=r95idx_fieldref3(((T95*)_cp),((T0*)ms158_470),((T0*)ms224_470),((T0*)ms204_470));
r256opcode_getstatic(((T256*)_ca),_idx,1);
}
 else if ((((T0*)ms94_473))==((void*)(a3))) {
r256opcode_sipush(((T256*)_ca),255);
}
 else if ((((T0*)ms95_473))==((void*)(a3))) {
_idx=r95idx_fieldref3(((T95*)_cp),((T0*)ms188_470),((T0*)ms221_470),((T0*)ms203_470));
r256opcode_getstatic(((T256*)_ca),_idx,2);
}
 else if ((((T0*)ms96_473))==((void*)(a3))) {
/*[IRF3.4opcode_iconst_m1*/r256opcode(((T256*)_ca),2,1);
/*]*/
/*[IRF3.4opcode_iconst_1*/r256opcode(((T256*)_ca),4,1);
/*]*/
/*[IRF3.4opcode_iushr*/r256opcode(((T256*)_ca),124,-(1));
/*]*/
}
 else if ((((T0*)ms97_473))==((void*)(a3))) {
_idx=r95idx_fieldref3(((T95*)_cp),((T0*)ms158_470),((T0*)ms221_470),((T0*)ms204_470));
r256opcode_getstatic(((T256*)_ca),_idx,1);
}
/*FI*/}
 else if ((((T0*)ms71_473))==((void*)(a3))) {
/*[IRF3.4opcode_iconst_m1*/r256opcode(((T256*)_ca),2,1);
/*]*/
}
 else if ((((T0*)ms117_473))==((void*)(a3))) {
r892routine_mapping_jvm(((T892*)a1));
}
 else if ((((T0*)ms118_473))==((void*)(a3))) {
r892routine_mapping_jvm(((T892*)a1));
}
 else if ((((T0*)ms115_473))==((void*)(a3))) {
r892routine_mapping_jvm(((T892*)a1));
}
 else if ((((T0*)ms100_473))==((void*)(a3))) {
r256opcode_bipush(((T256*)_ca),32);
}
 else if ((((T0*)ms4_473))==((void*)(a2))) {
r85jvm_mapping_bit_function(a1,a3);
}
 else if ((((T0*)ms52_473))==((void*)(a3))) {
r228push_target(((T228*)(oBC364jvm)));
_ct=(((T892*)((T892*)a1)))->_current_type/*4*/;
_rc=X291run_class(_ct);
_idx=r355fully_qualified_constant_pool_index(((T355*)_rc));
_idx=r95idx_fieldref4(((T95*)_cp),_idx,((T0*)ms52_473),((T0*)ms235_470));
r256opcode_getfield(((T256*)_ca),_idx,0);
}
 else if ((((T0*)ms107_473))==((void*)(a3))) {
_space=r228push_ith_argument(((T228*)(oBC364jvm)),1);
_idx=r95idx_methodref3(((T95*)_cp),((T0*)ms195_470),((T0*)ms196_470),((T0*)ms197_470));
r256opcode_invokevirtual(((T256*)_ca),_idx,0);
}
else {
r85fe_nyi(a1);
}
/*FI*/}
/*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*/
/*No:CALL_INFIX_MINUS.jvm_branch_if_false*/
/*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);
}
/*No:CALL_INFIX_MINUS.nb_errors*/
/*No:CALL_INFIX_MINUS.feature_name*/
/*No:CALL_INFIX_MINUS.compile_to_jvm_assignment*/
/*No:CALL_INFIX_MINUS.fz_iinaiv*/
/*No:CALL_INFIX_MINUS.arg_count*/
/*No:CALL_INFIX_MINUS.jvm_branch_if_true*/
/*No:CALL_INFIX_MINUS.run_feature*/
/*No:CALL_INFIX_MINUS.start_position*/
void r574compile_to_jvm_old(T574* C){
X662compile_to_jvm_old((((T574*)C))->_target/*12*/);
/*IF*/{/*AT*/r431compile_to_jvm_old(((T431*)((((T574*)C))->_arguments/*24*/)));
}
/*FI*/}
/*No:CALL_INFIX_MINUS.target*/
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=r431to_runnable(((T431*)((((T574*)C))->_arguments/*24*/)),a1);
/*IF*/if ((_a)==((void*)(NULL))) {
r574error(X662start_position(/*(IRF4.6arg1*/r431first(((T431*)((((T574*)C))->_arguments/*24*/)))/*)*/),((T0*)ms55_470));
}
else {
C->_arguments=_a;
}
/*FI*//*IF*/if ((/*(IRF4.9nb_errors*/(((T683*)((T683*)(oBC364eh))))->_nb_errors/*0*//*)*/)==(0)) {
r431match_with(((T431*)((((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(/*(IRF4.6arg1*/r431first(((T431*)((((T574*)C))->_arguments/*24*/)))/*)*/));
}
/*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(/*(IRF4.6arg1*/r431first(((T431*)((((T574*)C))->_arguments/*24*/)))/*)*/))) {
R=1;
C->_static_value_mem=(X662static_value((((T574*)C))->_target/*12*/))-(X662static_value(/*(IRF4.6arg1*/r431first(((T431*)((((T574*)C))->_arguments/*24*/)))/*)*/));
}
/*FI*/}
/*FI*/return R;
}
void r574standard_compile_target_to_jvm(T574* C){
/*[IRF3.4compile_to_jvm*//*[IRF3.6call_proc_call_c2jvm*/{T574* C1=C;
r228b_put_cpc(((T228*)(oBC364jvm)),(T0*)C1);
}/*]*/
/*]*/
X291jvm_check_class_invariant((((T574*)C))->_result_type/*20*/);
}
int r574compile_to_jvm_into(T574* C,T0* a1){
int R=0;
R=r574standard_compile_to_jvm_into(C,a1);
return R;
}
/*No:CALL_INFIX_MINUS.compile_target_to_jvm*/
/*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*/
/*No:CALL_INFIX_MINUS.jvm_assign*/
/*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*/
int r574jvm_standard_branch_if_false(T574* C){
int R=0;
/*[IRF3.4compile_to_jvm*//*[IRF3.6call_proc_call_c2jvm*/{T574* C1=C;
r228b_put_cpc(((T228*)(oBC364jvm)),(T0*)C1);
}/*]*/
/*]*/
R=r256opcode_ifeq(((T256*)(oBC364code_attribute)));
return R;
}
/*No:CALL_INFIX_MINUS.compile_to_jvm*/
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*/
int r574jvm_standard_branch_if_true(T574* C){
int R=0;
/*[IRF3.4compile_to_jvm*//*[IRF3.6call_proc_call_c2jvm*/{T574* C1=C;
r228b_put_cpc(((T228*)(oBC364jvm)),(T0*)C1);
}/*]*/
/*]*/
R=r256opcode_ifne(((T256*)(oBC364code_attribute)));
return R;
}
int r574use_current(T574* C){
int R=0;
/*IF*/{/*AT*/R=r431use_current(((T431*)((((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 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*/);
}
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(/*(IRF4.6arg1*/r431first(((T431*)((((T574*)C))->_arguments/*24*/)))/*)*/);
}
 else if ((R)>(0)) {
/*IF*/if ((X662isa_dca_inline_argument(/*(IRF4.6arg1*/r431first(((T431*)((((T574*)C))->_arguments/*24*/)))/*)*/))>=(0)) {
R=0;
}
/*FI*/}
/*FI*/return R;
}
/*No:CALL_INFIX_MINUS.fatal_error*/
/*No:CALL_INFIX_MINUS.fz_bad_argument*/
/*No:CALL_INFIX_MINUS.arg1*/
int r574standard_compile_to_jvm_into(T574* C,T0* a1){
int R=0;
/*[IRF3.4compile_to_jvm*//*[IRF3.6call_proc_call_c2jvm*/{T574* C1=C;
r228b_put_cpc(((T228*)(oBC364jvm)),(T0*)C1);
}/*]*/
/*]*/
R=X291jvm_convert_to(X291run_type((((T574*)C))->_result_type/*20*/),a1);
return R;
}
/*No:CALL_INFIX_MINUS.call_proc_call_c2jvm*/
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*/r431afd_check(((T431*)((((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*/
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:SWITCH_COLLECTION.jvm_define*/
/*No:METHOD_INFO.access_flags*/
void r506start(T506* C,int a1,T0* a2,T0* a3){
r256clear(((T256*)(oBC364code_attribute)));
C->_count=((((T506*)C))->_count/*0*/)+(1);
C->_access_flags=a1;
C->_name_index=r95idx_uft8(((T95*)(oBC364constant_pool)),a2);
C->_descriptor_index=r95idx_uft8(((T95*)(oBC364constant_pool)),a3);
}
/*No:METHOD_INFO.append_u1*/
void r506append_u2(T0* a1,int a2){
/*[IRF3.6append_u1*/{T0* b1=a1;
int b2=(a2)/(256);
r7extend(((T7*)b1),((char)(b2)));
}/*]*/
/*[IRF3.6append_u1*/{T0* b1=a1;
int b2=(a2)%(256);
r7extend(((T7*)b1),((char)(b2)));
}/*]*/
}
void r506finish(T506* C){
r506append_u2(oBC506storage,(((T506*)C))->_access_flags/*4*/);
r506append_u2(oBC506storage,(((T506*)C))->_name_index/*8*/);
r506append_u2(oBC506storage,(((T506*)C))->_descriptor_index/*12*/);
r506append_u2(oBC506storage,1);
r256store_in(((T256*)(oBC364code_attribute)),oBC506storage);
}
void r506clear(T506* C){
C->_count=0;
/*[IRF3.3clear*/((((T7*)(((T7*)(oBC506storage)))))->_count)=(0);
/*]*/
}
T0*oBC506storage=NULL;
/*No:METHOD_INFO.name_index*/
/*No:METHOD_INFO.count*/
void r506write_bytes(T506* C){
r306print_count(((T306*)(oBC364echo)),((T0*)ms1_506),(((T506*)C))->_count/*0*/);
r228b_put_u2(((T228*)(oBC364jvm)),(((T506*)C))->_count/*0*/);
r228b_put_byte_string(((T228*)(oBC364jvm)),oBC506storage);
}
/*No:METHOD_INFO.descriptor_index*/
/*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;
}
int r90is_a(T90* C,T0* a1){
int R=0;
R=X291is_a(X291run_type((((T90*)C))->_result_type/*20*/),X291run_type(X662result_type(a1)));
/*IF*/if (!(R)) {
r683add_position(/*(IRF4.6start_position*/(((T454*)((T454*)((((T90*)C))->_feature_name/*28*/))))->_start_position/*8*//*)*/);
r90error(X662start_position(a1),((T0*)ms4_662));
}
/*FI*/return R;
}
/*No:CALL_INFIX_IMPLIES.is_current*/
/*No:CALL_INFIX_IMPLIES.jvm_branch_if_false*/
/*No:CALL_INFIX_IMPLIES.static_value*/
void r90make(T90* 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,r90operator(),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;
}
r90make_call_1(C,a1,(((T90*)C))->_feature_name/*28*/,_eal);
}
/*No:CALL_INFIX_IMPLIES.nb_errors*/
/*No:CALL_INFIX_IMPLIES.feature_name*/
/*No:CALL_INFIX_IMPLIES.compile_to_jvm_assignment*/
/*No:CALL_INFIX_IMPLIES.fz_iinaiv*/
/*No:CALL_INFIX_IMPLIES.arg_count*/
/*No:CALL_INFIX_IMPLIES.jvm_branch_if_true*/
/*No:CALL_INFIX_IMPLIES.run_feature*/
/*No:CALL_INFIX_IMPLIES.start_position*/
void r90compile_to_jvm_old(T90* C){
X662compile_to_jvm_old((((T90*)C))->_target/*12*/);
/*IF*/{/*AT*/r431compile_to_jvm_old(((T431*)((((T90*)C))->_arguments/*24*/)));
}
/*FI*/}
/*No:CALL_INFIX_IMPLIES.target*/
T0* r90to_runnable(T90* C,T0* a1){
T0* R=NULL;
T0* _tla=NULL;
T0* _a=NULL;
/*IF*/if (((((T90*)C))->_current_type/*8*/)==((void*)(NULL))) {
r90to_runnable_0(C,a1);
_a=r431to_runnable(((T431*)((((T90*)C))->_arguments/*24*/)),a1);
/*IF*/if ((_a)==((void*)(NULL))) {
r90error(X662start_position(/*(IRF4.6arg1*/r431first(((T431*)((((T90*)C))->_arguments/*24*/)))/*)*/),((T0*)ms55_470));
}
else {
C->_arguments=_a;
}
/*FI*//*IF*/if ((/*(IRF4.9nb_errors*/(((T683*)((T683*)(oBC364eh))))->_nb_errors/*0*//*)*/)==(0)) {
r431match_with(((T431*)((((T90*)C))->_arguments/*24*/)),(((T90*)C))->_run_feature/*16*/);
}
/*FI*//*IF*/if ((/*(IRF4.9nb_errors*/(((T683*)((T683*)(oBC364eh))))->_nb_errors/*0*//*)*/)==(0)) {
_tla=(((T90*)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(/*(IRF4.6arg1*/r431first(((T431*)((((T90*)C))->_arguments/*24*/)))/*)*/));
}
/*FI*/}
/*FI*//*IF*/if ((/*(IRF4.9nb_errors*/(((T683*)((T683*)(oBC364eh))))->_nb_errors/*0*//*)*/)==(0)) {
R=(T0*)C;
}
/*FI*/}
else {
R=r90twin(C);
/*[IRF3.3set_current_type*/((((T90*)(((T90*)R))))->_current_type)=(NULL);
/*]*/
R=r90to_runnable(((T90*)R),a1);
}
/*FI*/return R;
}
/*No:CALL_INFIX_IMPLIES.result_type*/
/*No:CALL_INFIX_IMPLIES.is_result*/
T0* r90twin(T90* C){
T0* R=NULL;
R=malloc(sizeof(*C));
*((T90*)R)=*C;
return R;
}
/*No:CALL_INFIX_IMPLIES.set_current_type*/
T0* r90operator(void){
T0* R=NULL;
R=((T0*)ms34_473);
return R;
}
int r90is_static(T90* C){
int R=0;
/*IF*/if (X291is_boolean(X662result_type((((T90*)C))->_target/*12*/))) {
/*IF*/if (X662is_static((((T90*)C))->_target/*12*/)) {
/*IF*/if ((X662static_value((((T90*)C))->_target/*12*/))==(0)) {
R=1;
C->_static_value_mem=1;
}
 else if (X662is_static(/*(IRF4.6arg1*/r431first(((T431*)((((T90*)C))->_arguments/*24*/)))/*)*/)) {
R=1;
C->_static_value_mem=X662static_value(/*(IRF4.6arg1*/r431first(((T431*)((((T90*)C))->_arguments/*24*/)))/*)*/);
}
/*FI*/}
/*FI*/}
/*FI*/return R;
}
void r90standard_compile_target_to_jvm(T90* C){
/*[IRF3.4compile_to_jvm*//*[IRF3.6call_proc_call_c2jvm*/{T90* C1=C;
r228b_put_cpc(((T228*)(oBC364jvm)),(T0*)C1);
}/*]*/
/*]*/
X291jvm_check_class_invariant((((T90*)C))->_result_type/*20*/);
}
int r90compile_to_jvm_into(T90* C,T0* a1){
int R=0;
R=r90standard_compile_to_jvm_into(C,a1);
return R;
}
/*No:CALL_INFIX_IMPLIES.compile_target_to_jvm*/
/*No:CALL_INFIX_IMPLIES.us_implies*/
/*No:CALL_INFIX_IMPLIES.fz_07*/
/*No:CALL_INFIX_IMPLIES.can_be_dropped*/
/*No:CALL_INFIX_IMPLIES.current_type*/
/*No:CALL_INFIX_IMPLIES.jvm_assign*/
/*No:CALL_INFIX_IMPLIES.static_value_mem*/
void r90make_call_1(T90* C,T0* a1,T0* a2,T0* a3){
C->_target=a1;
C->_feature_name=a2;
C->_arguments=a3;
}
/*No:CALL_INFIX_IMPLIES.is_manifest_string*/
/*No:CALL_INFIX_IMPLIES.is_void*/
int r90jvm_standard_branch_if_false(T90* C){
int R=0;
/*[IRF3.4compile_to_jvm*//*[IRF3.6call_proc_call_c2jvm*/{T90* C1=C;
r228b_put_cpc(((T228*)(oBC364jvm)),(T0*)C1);
}/*]*/
/*]*/
R=r256opcode_ifeq(((T256*)(oBC364code_attribute)));
return R;
}
/*No:CALL_INFIX_IMPLIES.compile_to_jvm*/
void r90to_runnable_0(T90* C,T0* a1){
C->_current_type=a1;
r90cpc_to_runnable(C,a1);
C->_result_type=/*X496*/((T0*)(((T832*)((T832*)((((T90*)C))->_run_feature/*16*/))))->_result_type/*24*/);
/*IF*/if (((((T90*)C))->_result_type/*20*/)==((void*)(NULL))) {
r683add_position(X496start_position((((T90*)C))->_run_feature/*16*/));
r90error((((T454*)((T454*)((((T90*)C))->_feature_name/*28*/))))->_start_position/*8*/,((T0*)ms1_295));
}
 else if (X291is_like_current((((T90*)C))->_result_type/*20*/)) {
C->_result_type=X662result_type((((T90*)C))->_target/*12*/);
}
/*FI*/}
/*No:CALL_INFIX_IMPLIES.is_pre_computable*/
int r90jvm_standard_branch_if_true(T90* C){
int R=0;
/*[IRF3.4compile_to_jvm*//*[IRF3.6call_proc_call_c2jvm*/{T90* C1=C;
r228b_put_cpc(((T228*)(oBC364jvm)),(T0*)C1);
}/*]*/
/*]*/
R=r256opcode_ifne(((T256*)(oBC364code_attribute)));
return R;
}
int r90use_current(T90* C){
int R=0;
/*IF*/{/*AT*/R=r431use_current(((T431*)((((T90*)C))->_arguments/*24*/)));
}
/*FI*//*IF*/if (R) {
}
 else if (X662is_current((((T90*)C))->_target/*12*/)) {
R=X496use_current((((T90*)C))->_run_feature/*16*/);
}
else {
R=X662use_current((((T90*)C))->_target/*12*/);
}
/*FI*/return R;
}
void r90cpc_to_runnable(T90* C,T0* a1){
T0* _rc=NULL;
T0* _t=NULL;
_t=X662to_runnable((((T90*)C))->_target/*12*/,a1);
/*IF*/if ((_t)==((void*)(NULL))) {
r683add_position(X662start_position((((T90*)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((((T90*)C))->_target/*12*/));
C->_run_feature=r355get_rf(((T355*)_rc),(T0*)C);
r576update((((T90*)C))->_target/*12*/,(((T90*)C))->_run_feature/*16*/);
}
void r90error(T0* a1,T0* a2){
r683add_position(a1);
r683error(((T683*)(oBC364eh)),a2);
}
/*No:CALL_INFIX_IMPLIES.isa_dca_inline_argument*/
/*No:CALL_INFIX_IMPLIES.fatal_error*/
/*No:CALL_INFIX_IMPLIES.fz_bad_argument*/
/*No:CALL_INFIX_IMPLIES.arg1*/