/*
-- ANSI C code generated by :
-- SmallEiffel The GNU Eiffel Compiler -- Release (- 0.79)      --
-- Copyright (C), 1994-98 - LORIA - UHP - CRIN - INRIA - FRANCE --
-- Dominique COLNET and Suzanne COLLIN -    colnet@loria.fr     --
--                 http://www.loria.fr/SmallEiffel              --
*/
#include "short.h"
/*No:DICTIONARY[TYPE_REF_TO_EXP,STRING].Default_size*/


void r359with_capacity(T359* C,T2 a1){
T2 _i=0;
{T26*n=malloc(sizeof(*n));
*n=M26;
r26make(n,a1);
C->_keys=(T0*)n;
}
{T360*n=malloc(sizeof(*n));
*n=M360;
r360make(n,a1);
C->_store=(T0*)n;
}
C->_modulus=(3)*(a1);
{T62*n=malloc(sizeof(*n));
*n=M62;
r62make(n,(C)->_modulus/*8*/);
C->_buckets=(T0*)n;
}
/*[IRF3.6set_all_with*/{T62* C1=(T62*)((C)->_buckets/*12*/);
T2 b1=-(1);
r63set_all_with((C1)->_storage/*0*/,b1,(C1)->_upper/*8*/);
}/*]*/
{T62*n=malloc(sizeof(*n));
*n=M62;
r62make(n,a1);
C->_chain=(T0*)n;
}
_i=((T62*)((C)->_chain/*16*/))->_upper/*8*/;
C->_first_free_slot=_i;
while (!((_i)<(0))) {
/*[IRF3.5put*/(((T62*)((C)->_chain/*16*/))->_storage/*0*/)[_i]=((_i)-(1));
/*]*/
_i=(_i)-(1);
}
C->_cache_keys_idx=-(1);
C->_cache_user_idx=-(1);
C->_count=0;
}


T6 r359has(T359* C,T0* a1){
T6 R=0;
/*[IF*/
if((((C)->_cache_keys_idx/*24*/)<(0))||(!(r7is_equal(((T7*)a1),/*(IRF4.6item*/(((T26*)((C)->_keys/*0*/))->_storage/*0*/)[(C)->_cache_keys_idx/*24*/]/*)*/)))){
C->_cache_user_idx=-(1);
C->_cache_keys_idx=/*(IRF4.6item*/(((T62*)((C)->_buckets/*12*/))->_storage/*0*/)[(r7hash_code(((T7*)a1)))%((C)->_modulus/*8*/)]/*)*/;
while (!((((C)->_cache_keys_idx/*24*/)<(0))||(r7is_equal(((T7*)a1),/*(IRF4.6item*/(((T26*)((C)->_keys/*0*/))->_storage/*0*/)[(C)->_cache_keys_idx/*24*/]/*)*/)))) {
C->_cache_keys_idx=/*(IRF4.6item*/(((T62*)((C)->_chain/*16*/))->_storage/*0*/)[(C)->_cache_keys_idx/*24*/]/*)*/;
}
}
/*FI]*/
R=((C)->_cache_keys_idx/*24*/)>=(0);
return R;
}
/*No:DICTIONARY[TYPE_REF_TO_EXP,STRING].cache_keys_idx*/
/*No:DICTIONARY[TYPE_REF_TO_EXP,STRING].cache_user_idx*/


void r359expand(T359* C){
T2 _i=0;
_i=/*(IRF4.6count*/(((T26*)((C)->_keys/*0*/))->_upper/*8*/)+(1)/*)*/;
r359resize_buckets(C,((_i)*(2))*(3));
while (!((_i)==(0))) {
r62add_last((T62*)((C)->_chain/*16*/),(C)->_first_free_slot/*20*/);
C->_first_free_slot=((T62*)((C)->_chain/*16*/))->_upper/*8*/;
_i=(_i)-(1);
}
r26resize((T26*)((C)->_keys/*0*/),/*(IRF4.6count*/(((T62*)((C)->_chain/*16*/))->_upper/*8*/)+(1)/*)*/);
r360resize((T360*)((C)->_store/*4*/),/*(IRF4.6count*/(((T62*)((C)->_chain/*16*/))->_upper/*8*/)+(1)/*)*/);
}


void r359resize_buckets(T359* C,T2 a1){
T2 _i=0;
T2 _h=0;
C->_modulus=a1;
r62resize((T62*)((C)->_buckets/*12*/),a1);
/*[IRF3.6set_all_with*/{T62* C1=(T62*)((C)->_buckets/*12*/);
T2 b1=-(1);
r63set_all_with((C1)->_storage/*0*/,b1,(C1)->_upper/*8*/);
}/*]*/
while (!(((C)->_first_free_slot/*20*/)<(0))) {
_i=/*(IRF4.6item*/(((T62*)((C)->_chain/*16*/))->_storage/*0*/)[(C)->_first_free_slot/*20*/]/*)*/;
/*[IRF3.5put*/(((T62*)((C)->_chain/*16*/))->_storage/*0*/)[(C)->_first_free_slot/*20*/]=(-(2));
/*]*/
C->_first_free_slot=_i;
}
_i=((T62*)((C)->_chain/*16*/))->_upper/*8*/;
while (!((_i)<(0))) {
/*[IF*/
if((/*(IRF4.6item*/(((T62*)((C)->_chain/*16*/))->_storage/*0*/)[_i]/*)*/)==(-(2))){
/*[IRF3.5put*/(((T62*)((C)->_chain/*16*/))->_storage/*0*/)[_i]=((C)->_first_free_slot/*20*/);
/*]*/
C->_first_free_slot=_i;
}
else{
_h=(r7hash_code((T7*)(/*(IRF4.6item*/(((T26*)((C)->_keys/*0*/))->_storage/*0*/)[_i]/*)*/)))%(a1);
/*[IRF3.5put*/(((T62*)((C)->_chain/*16*/))->_storage/*0*/)[_i]=(/*(IRF4.6item*/(((T62*)((C)->_buckets/*12*/))->_storage/*0*/)[_h]/*)*/);
/*]*/
/*[IRF3.5put*/(((T62*)((C)->_buckets/*12*/))->_storage/*0*/)[_h]=(_i);
/*]*/
}
/*FI]*/
_i=(_i)-(1);
}
}
/*No:DICTIONARY[TYPE_REF_TO_EXP,STRING].buckets_keys_ratio*/
/*No:DICTIONARY[TYPE_REF_TO_EXP,STRING].first_free_slot*/
/*No:DICTIONARY[TYPE_REF_TO_EXP,STRING].modulus*/
/*No:DICTIONARY[TYPE_REF_TO_EXP,STRING].count*/
/*No:DICTIONARY[TYPE_REF_TO_EXP,STRING].chain*/
/*No:DICTIONARY[TYPE_REF_TO_EXP,STRING].make*/
/*No:DICTIONARY[TYPE_REF_TO_EXP,STRING].store*/
/*No:DICTIONARY[TYPE_REF_TO_EXP,STRING].buckets*/
/*No:DICTIONARY[TYPE_REF_TO_EXP,STRING].keys*/


void r359put(T359* C,T0* a1,T0* a2){
T2 _h=0;
/*[IF*/
if((((C)->_cache_keys_idx/*24*/)<(0))||(!(r7is_equal(((T7*)a2),/*(IRF4.6item*/(((T26*)((C)->_keys/*0*/))->_storage/*0*/)[(C)->_cache_keys_idx/*24*/]/*)*/)))){
C->_cache_user_idx=-(1);
_h=(r7hash_code(((T7*)a2)))%((C)->_modulus/*8*/);
C->_cache_keys_idx=/*(IRF4.6item*/(((T62*)((C)->_buckets/*12*/))->_storage/*0*/)[_h]/*)*/;
while (!((((C)->_cache_keys_idx/*24*/)<(0))||(r7is_equal(((T7*)a2),/*(IRF4.6item*/(((T26*)((C)->_keys/*0*/))->_storage/*0*/)[(C)->_cache_keys_idx/*24*/]/*)*/)))) {
C->_cache_keys_idx=/*(IRF4.6item*/(((T62*)((C)->_chain/*16*/))->_storage/*0*/)[(C)->_cache_keys_idx/*24*/]/*)*/;
}
/*[IF*/
if(((C)->_cache_keys_idx/*24*/)<(0)){
/*[IF*/
if(((C)->_first_free_slot/*20*/)<(0)){
r359expand(C);
_h=(r7hash_code(((T7*)a2)))%((C)->_modulus/*8*/);
}
/*FI]*/
/*[IRF3.5put*/(((T26*)((C)->_keys/*0*/))->_storage/*0*/)[(C)->_first_free_slot/*20*/]=(a2);
/*]*/
/*[IRF3.5put*/(((T360*)((C)->_store/*4*/))->_storage/*4*/)[(C)->_first_free_slot/*20*/]=(a1);
/*]*/
C->_cache_keys_idx=(C)->_first_free_slot/*20*/;
C->_first_free_slot=/*(IRF4.6item*/(((T62*)((C)->_chain/*16*/))->_storage/*0*/)[(C)->_first_free_slot/*20*/]/*)*/;
/*[IRF3.5put*/(((T62*)((C)->_chain/*16*/))->_storage/*0*/)[(C)->_cache_keys_idx/*24*/]=(/*(IRF4.6item*/(((T62*)((C)->_buckets/*12*/))->_storage/*0*/)[_h]/*)*/);
/*]*/
/*[IRF3.5put*/(((T62*)((C)->_buckets/*12*/))->_storage/*0*/)[_h]=((C)->_cache_keys_idx/*24*/);
/*]*/
C->_count=((C)->_count/*32*/)+(1);
}
else{
/*[IRF3.5put*/(((T360*)((C)->_store/*4*/))->_storage/*4*/)[(C)->_cache_keys_idx/*24*/]=(a1);
/*]*/
}
/*FI]*/
}
else{
/*[IRF3.5put*/(((T360*)((C)->_store/*4*/))->_storage/*4*/)[(C)->_cache_keys_idx/*24*/]=(a1);
/*]*/
}
/*FI]*/
}
/*No:DICTIONARY[MANIFEST_STRING,STRING].Default_size*/


void r355with_capacity(T355* C,T2 a1){
T2 _i=0;
{T26*n=malloc(sizeof(*n));
*n=M26;
r26make(n,a1);
C->_keys=(T0*)n;
}
{T196*n=malloc(sizeof(*n));
*n=M196;
r196make(n,a1);
C->_store=(T0*)n;
}
C->_modulus=(3)*(a1);
{T62*n=malloc(sizeof(*n));
*n=M62;
r62make(n,(C)->_modulus/*8*/);
C->_buckets=(T0*)n;
}
/*[IRF3.6set_all_with*/{T62* C1=(T62*)((C)->_buckets/*12*/);
T2 b1=-(1);
r63set_all_with((C1)->_storage/*0*/,b1,(C1)->_upper/*8*/);
}/*]*/
{T62*n=malloc(sizeof(*n));
*n=M62;
r62make(n,a1);
C->_chain=(T0*)n;
}
_i=((T62*)((C)->_chain/*16*/))->_upper/*8*/;
C->_first_free_slot=_i;
while (!((_i)<(0))) {
/*[IRF3.5put*/(((T62*)((C)->_chain/*16*/))->_storage/*0*/)[_i]=((_i)-(1));
/*]*/
_i=(_i)-(1);
}
C->_cache_keys_idx=-(1);
C->_cache_user_idx=-(1);
C->_count=0;
}


T6 r355has(T355* C,T0* a1){
T6 R=0;
/*[IF*/
if((((C)->_cache_keys_idx/*24*/)<(0))||(!(r7is_equal(((T7*)a1),/*(IRF4.6item*/(((T26*)((C)->_keys/*0*/))->_storage/*0*/)[(C)->_cache_keys_idx/*24*/]/*)*/)))){
C->_cache_user_idx=-(1);
C->_cache_keys_idx=/*(IRF4.6item*/(((T62*)((C)->_buckets/*12*/))->_storage/*0*/)[(r7hash_code(((T7*)a1)))%((C)->_modulus/*8*/)]/*)*/;
while (!((((C)->_cache_keys_idx/*24*/)<(0))||(r7is_equal(((T7*)a1),/*(IRF4.6item*/(((T26*)((C)->_keys/*0*/))->_storage/*0*/)[(C)->_cache_keys_idx/*24*/]/*)*/)))) {
C->_cache_keys_idx=/*(IRF4.6item*/(((T62*)((C)->_chain/*16*/))->_storage/*0*/)[(C)->_cache_keys_idx/*24*/]/*)*/;
}
}
/*FI]*/
R=((C)->_cache_keys_idx/*24*/)>=(0);
return R;
}
/*No:DICTIONARY[MANIFEST_STRING,STRING].cache_keys_idx*/
/*No:DICTIONARY[MANIFEST_STRING,STRING].cache_user_idx*/


void r355expand(T355* C){
T2 _i=0;
_i=/*(IRF4.6count*/(((T26*)((C)->_keys/*0*/))->_upper/*8*/)+(1)/*)*/;
r355resize_buckets(C,((_i)*(2))*(3));
while (!((_i)==(0))) {
r62add_last((T62*)((C)->_chain/*16*/),(C)->_first_free_slot/*20*/);
C->_first_free_slot=((T62*)((C)->_chain/*16*/))->_upper/*8*/;
_i=(_i)-(1);
}
r26resize((T26*)((C)->_keys/*0*/),/*(IRF4.6count*/(((T62*)((C)->_chain/*16*/))->_upper/*8*/)+(1)/*)*/);
r196resize((T196*)((C)->_store/*4*/),/*(IRF4.6count*/(((T62*)((C)->_chain/*16*/))->_upper/*8*/)+(1)/*)*/);
}


void r355resize_buckets(T355* C,T2 a1){
T2 _i=0;
T2 _h=0;
C->_modulus=a1;
r62resize((T62*)((C)->_buckets/*12*/),a1);
/*[IRF3.6set_all_with*/{T62* C1=(T62*)((C)->_buckets/*12*/);
T2 b1=-(1);
r63set_all_with((C1)->_storage/*0*/,b1,(C1)->_upper/*8*/);
}/*]*/
while (!(((C)->_first_free_slot/*20*/)<(0))) {
_i=/*(IRF4.6item*/(((T62*)((C)->_chain/*16*/))->_storage/*0*/)[(C)->_first_free_slot/*20*/]/*)*/;
/*[IRF3.5put*/(((T62*)((C)->_chain/*16*/))->_storage/*0*/)[(C)->_first_free_slot/*20*/]=(-(2));
/*]*/
C->_first_free_slot=_i;
}
_i=((T62*)((C)->_chain/*16*/))->_upper/*8*/;
while (!((_i)<(0))) {
/*[IF*/
if((/*(IRF4.6item*/(((T62*)((C)->_chain/*16*/))->_storage/*0*/)[_i]/*)*/)==(-(2))){
/*[IRF3.5put*/(((T62*)((C)->_chain/*16*/))->_storage/*0*/)[_i]=((C)->_first_free_slot/*20*/);
/*]*/
C->_first_free_slot=_i;
}
else{
_h=(r7hash_code((T7*)(/*(IRF4.6item*/(((T26*)((C)->_keys/*0*/))->_storage/*0*/)[_i]/*)*/)))%(a1);
/*[IRF3.5put*/(((T62*)((C)->_chain/*16*/))->_storage/*0*/)[_i]=(/*(IRF4.6item*/(((T62*)((C)->_buckets/*12*/))->_storage/*0*/)[_h]/*)*/);
/*]*/
/*[IRF3.5put*/(((T62*)((C)->_buckets/*12*/))->_storage/*0*/)[_h]=(_i);
/*]*/
}
/*FI]*/
_i=(_i)-(1);
}
}
/*No:DICTIONARY[MANIFEST_STRING,STRING].buckets_keys_ratio*/
/*No:DICTIONARY[MANIFEST_STRING,STRING].first_free_slot*/
/*No:DICTIONARY[MANIFEST_STRING,STRING].modulus*/
/*No:DICTIONARY[MANIFEST_STRING,STRING].count*/
/*No:DICTIONARY[MANIFEST_STRING,STRING].chain*/
/*No:DICTIONARY[MANIFEST_STRING,STRING].make*/
/*No:DICTIONARY[MANIFEST_STRING,STRING].store*/
/*No:DICTIONARY[MANIFEST_STRING,STRING].buckets*/
/*No:DICTIONARY[MANIFEST_STRING,STRING].keys*/


void r355put(T355* C,T0* a1,T0* a2){
T2 _h=0;
/*[IF*/
if((((C)->_cache_keys_idx/*24*/)<(0))||(!(r7is_equal(((T7*)a2),/*(IRF4.6item*/(((T26*)((C)->_keys/*0*/))->_storage/*0*/)[(C)->_cache_keys_idx/*24*/]/*)*/)))){
C->_cache_user_idx=-(1);
_h=(r7hash_code(((T7*)a2)))%((C)->_modulus/*8*/);
C->_cache_keys_idx=/*(IRF4.6item*/(((T62*)((C)->_buckets/*12*/))->_storage/*0*/)[_h]/*)*/;
while (!((((C)->_cache_keys_idx/*24*/)<(0))||(r7is_equal(((T7*)a2),/*(IRF4.6item*/(((T26*)((C)->_keys/*0*/))->_storage/*0*/)[(C)->_cache_keys_idx/*24*/]/*)*/)))) {
C->_cache_keys_idx=/*(IRF4.6item*/(((T62*)((C)->_chain/*16*/))->_storage/*0*/)[(C)->_cache_keys_idx/*24*/]/*)*/;
}
/*[IF*/
if(((C)->_cache_keys_idx/*24*/)<(0)){
/*[IF*/
if(((C)->_first_free_slot/*20*/)<(0)){
r355expand(C);
_h=(r7hash_code(((T7*)a2)))%((C)->_modulus/*8*/);
}
/*FI]*/
/*[IRF3.5put*/(((T26*)((C)->_keys/*0*/))->_storage/*0*/)[(C)->_first_free_slot/*20*/]=(a2);
/*]*/
/*[IRF3.5put*/(((T196*)((C)->_store/*4*/))->_storage/*4*/)[(C)->_first_free_slot/*20*/]=(a1);
/*]*/
C->_cache_keys_idx=(C)->_first_free_slot/*20*/;
C->_first_free_slot=/*(IRF4.6item*/(((T62*)((C)->_chain/*16*/))->_storage/*0*/)[(C)->_first_free_slot/*20*/]/*)*/;
/*[IRF3.5put*/(((T62*)((C)->_chain/*16*/))->_storage/*0*/)[(C)->_cache_keys_idx/*24*/]=(/*(IRF4.6item*/(((T62*)((C)->_buckets/*12*/))->_storage/*0*/)[_h]/*)*/);
/*]*/
/*[IRF3.5put*/(((T62*)((C)->_buckets/*12*/))->_storage/*0*/)[_h]=((C)->_cache_keys_idx/*24*/);
/*]*/
C->_count=((C)->_count/*32*/)+(1);
}
else{
/*[IRF3.5put*/(((T196*)((C)->_store/*4*/))->_storage/*4*/)[(C)->_cache_keys_idx/*24*/]=(a1);
/*]*/
}
/*FI]*/
}
else{
/*[IRF3.5put*/(((T196*)((C)->_store/*4*/))->_storage/*4*/)[(C)->_cache_keys_idx/*24*/]=(a1);
/*]*/
}
/*FI]*/
}
/*No:MEMO[COMMENT].set_item*/
/*No:MEMO[COMMENT].item*/
/*No:MEMO[COMMENT].clear*/
/*No:DICTIONARY[TYPE,INTEGER].Default_size*/


void r349with_capacity(T349* C,T2 a1){
T2 _i=0;
{T62*n=malloc(sizeof(*n));
*n=M62;
r62make(n,a1);
C->_keys=(T0*)n;
}
{T350*n=malloc(sizeof(*n));
*n=M350;
r350make(n,a1);
C->_store=(T0*)n;
}
C->_modulus=(3)*(a1);
{T62*n=malloc(sizeof(*n));
*n=M62;
r62make(n,(C)->_modulus/*8*/);
C->_buckets=(T0*)n;
}
/*[IRF3.6set_all_with*/{T62* C1=(T62*)((C)->_buckets/*12*/);
T2 b1=-(1);
r63set_all_with((C1)->_storage/*0*/,b1,(C1)->_upper/*8*/);
}/*]*/
{T62*n=malloc(sizeof(*n));
*n=M62;
r62make(n,a1);
C->_chain=(T0*)n;
}
_i=((T62*)((C)->_chain/*16*/))->_upper/*8*/;
C->_first_free_slot=_i;
while (!((_i)<(0))) {
/*[IRF3.5put*/(((T62*)((C)->_chain/*16*/))->_storage/*0*/)[_i]=((_i)-(1));
/*]*/
_i=(_i)-(1);
}
C->_cache_keys_idx=-(1);
C->_cache_user_idx=-(1);
C->_count=0;
}


T6 r349has(T349* C,T2 a1){
T6 R=0;
/*[IF*/
if((((C)->_cache_keys_idx/*24*/)<(0))||(!((a1)==(/*(IRF4.6item*/(((T62*)((C)->_keys/*0*/))->_storage/*0*/)[(C)->_cache_keys_idx/*24*/]/*)*/)))){
C->_cache_user_idx=-(1);
C->_cache_keys_idx=/*(IRF4.6item*/(((T62*)((C)->_buckets/*12*/))->_storage/*0*/)[(r2hash_code(a1))%((C)->_modulus/*8*/)]/*)*/;
while (!((((C)->_cache_keys_idx/*24*/)<(0))||((a1)==(/*(IRF4.6item*/(((T62*)((C)->_keys/*0*/))->_storage/*0*/)[(C)->_cache_keys_idx/*24*/]/*)*/)))) {
C->_cache_keys_idx=/*(IRF4.6item*/(((T62*)((C)->_chain/*16*/))->_storage/*0*/)[(C)->_cache_keys_idx/*24*/]/*)*/;
}
}
/*FI]*/
R=((C)->_cache_keys_idx/*24*/)>=(0);
return R;
}
/*No:DICTIONARY[TYPE,INTEGER].cache_keys_idx*/
/*No:DICTIONARY[TYPE,INTEGER].cache_user_idx*/


void r349expand(T349* C){
T2 _i=0;
_i=/*(IRF4.6count*/(((T62*)((C)->_keys/*0*/))->_upper/*8*/)+(1)/*)*/;
r349resize_buckets(C,((_i)*(2))*(3));
while (!((_i)==(0))) {
r62add_last((T62*)((C)->_chain/*16*/),(C)->_first_free_slot/*20*/);
C->_first_free_slot=((T62*)((C)->_chain/*16*/))->_upper/*8*/;
_i=(_i)-(1);
}
r62resize((T62*)((C)->_keys/*0*/),/*(IRF4.6count*/(((T62*)((C)->_chain/*16*/))->_upper/*8*/)+(1)/*)*/);
X350resize((C)->_store/*4*/,/*(IRF4.6count*/(((T62*)((C)->_chain/*16*/))->_upper/*8*/)+(1)/*)*/);
}


void r349resize_buckets(T349* C,T2 a1){
T2 _i=0;
T2 _h=0;
C->_modulus=a1;
r62resize((T62*)((C)->_buckets/*12*/),a1);
/*[IRF3.6set_all_with*/{T62* C1=(T62*)((C)->_buckets/*12*/);
T2 b1=-(1);
r63set_all_with((C1)->_storage/*0*/,b1,(C1)->_upper/*8*/);
}/*]*/
while (!(((C)->_first_free_slot/*20*/)<(0))) {
_i=/*(IRF4.6item*/(((T62*)((C)->_chain/*16*/))->_storage/*0*/)[(C)->_first_free_slot/*20*/]/*)*/;
/*[IRF3.5put*/(((T62*)((C)->_chain/*16*/))->_storage/*0*/)[(C)->_first_free_slot/*20*/]=(-(2));
/*]*/
C->_first_free_slot=_i;
}
_i=((T62*)((C)->_chain/*16*/))->_upper/*8*/;
while (!((_i)<(0))) {
/*[IF*/
if((/*(IRF4.6item*/(((T62*)((C)->_chain/*16*/))->_storage/*0*/)[_i]/*)*/)==(-(2))){
/*[IRF3.5put*/(((T62*)((C)->_chain/*16*/))->_storage/*0*/)[_i]=((C)->_first_free_slot/*20*/);
/*]*/
C->_first_free_slot=_i;
}
else{
_h=(r2hash_code(/*(IRF4.6item*/(((T62*)((C)->_keys/*0*/))->_storage/*0*/)[_i]/*)*/))%(a1);
/*[IRF3.5put*/(((T62*)((C)->_chain/*16*/))->_storage/*0*/)[_i]=(/*(IRF4.6item*/(((T62*)((C)->_buckets/*12*/))->_storage/*0*/)[_h]/*)*/);
/*]*/
/*[IRF3.5put*/(((T62*)((C)->_buckets/*12*/))->_storage/*0*/)[_h]=(_i);
/*]*/
}
/*FI]*/
_i=(_i)-(1);
}
}
/*No:DICTIONARY[TYPE,INTEGER].buckets_keys_ratio*/
/*No:DICTIONARY[TYPE,INTEGER].first_free_slot*/
/*No:DICTIONARY[TYPE,INTEGER].modulus*/
/*No:DICTIONARY[TYPE,INTEGER].count*/
/*No:DICTIONARY[TYPE,INTEGER].chain*/
/*No:DICTIONARY[TYPE,INTEGER].make*/
/*No:DICTIONARY[TYPE,INTEGER].store*/
/*No:DICTIONARY[TYPE,INTEGER].buckets*/
/*No:DICTIONARY[TYPE,INTEGER].keys*/


void r349put(T349* C,T0* a1,T2 a2){
T2 _h=0;
/*[IF*/
if((((C)->_cache_keys_idx/*24*/)<(0))||(!((a2)==(/*(IRF4.6item*/(((T62*)((C)->_keys/*0*/))->_storage/*0*/)[(C)->_cache_keys_idx/*24*/]/*)*/)))){
C->_cache_user_idx=-(1);
_h=(r2hash_code(a2))%((C)->_modulus/*8*/);
C->_cache_keys_idx=/*(IRF4.6item*/(((T62*)((C)->_buckets/*12*/))->_storage/*0*/)[_h]/*)*/;
while (!((((C)->_cache_keys_idx/*24*/)<(0))||((a2)==(/*(IRF4.6item*/(((T62*)((C)->_keys/*0*/))->_storage/*0*/)[(C)->_cache_keys_idx/*24*/]/*)*/)))) {
C->_cache_keys_idx=/*(IRF4.6item*/(((T62*)((C)->_chain/*16*/))->_storage/*0*/)[(C)->_cache_keys_idx/*24*/]/*)*/;
}
/*[IF*/
if(((C)->_cache_keys_idx/*24*/)<(0)){
/*[IF*/
if(((C)->_first_free_slot/*20*/)<(0)){
r349expand(C);
_h=(r2hash_code(a2))%((C)->_modulus/*8*/);
}
/*FI]*/
/*[IRF3.5put*/(((T62*)((C)->_keys/*0*/))->_storage/*0*/)[(C)->_first_free_slot/*20*/]=(a2);
/*]*/
/*X350put*//*[IRF3.5put*/(((T328*)((C)->_store/*4*/))->_storage/*4*/)[(C)->_first_free_slot/*20*/]=(a1);
/*]*/
C->_cache_keys_idx=(C)->_first_free_slot/*20*/;
C->_first_free_slot=/*(IRF4.6item*/(((T62*)((C)->_chain/*16*/))->_storage/*0*/)[(C)->_first_free_slot/*20*/]/*)*/;
/*[IRF3.5put*/(((T62*)((C)->_chain/*16*/))->_storage/*0*/)[(C)->_cache_keys_idx/*24*/]=(/*(IRF4.6item*/(((T62*)((C)->_buckets/*12*/))->_storage/*0*/)[_h]/*)*/);
/*]*/
/*[IRF3.5put*/(((T62*)((C)->_buckets/*12*/))->_storage/*0*/)[_h]=((C)->_cache_keys_idx/*24*/);
/*]*/
C->_count=((C)->_count/*32*/)+(1);
}
else{
/*X350put*//*[IRF3.5put*/(((T328*)((C)->_store/*4*/))->_storage/*4*/)[(C)->_cache_keys_idx/*24*/]=(a1);
/*]*/
}
/*FI]*/
}
else{
/*X350put*//*[IRF3.5put*/(((T328*)((C)->_store/*4*/))->_storage/*4*/)[(C)->_cache_keys_idx/*24*/]=(a1);
/*]*/
}
/*FI]*/
}
/*No:DICTIONARY[RUN_FEATURE,STRING].Default_size*/


void r317with_capacity(T317* C,T2 a1){
T2 _i=0;
{T26*n=malloc(sizeof(*n));
*n=M26;
r26make(n,a1);
C->_keys=(T0*)n;
}
{T311*n=malloc(sizeof(*n));
*n=M311;
r311make(n,a1);
C->_store=(T0*)n;
}
C->_modulus=(3)*(a1);
{T62*n=malloc(sizeof(*n));
*n=M62;
r62make(n,(C)->_modulus/*8*/);
C->_buckets=(T0*)n;
}
/*[IRF3.6set_all_with*/{T62* C1=(T62*)((C)->_buckets/*12*/);
T2 b1=-(1);
r63set_all_with((C1)->_storage/*0*/,b1,(C1)->_upper/*8*/);
}/*]*/
{T62*n=malloc(sizeof(*n));
*n=M62;
r62make(n,a1);
C->_chain=(T0*)n;
}
_i=((T62*)((C)->_chain/*16*/))->_upper/*8*/;
C->_first_free_slot=_i;
while (!((_i)<(0))) {
/*[IRF3.5put*/(((T62*)((C)->_chain/*16*/))->_storage/*0*/)[_i]=((_i)-(1));
/*]*/
_i=(_i)-(1);
}
C->_cache_keys_idx=-(1);
C->_cache_user_idx=-(1);
C->_count=0;
}


T6 r317has(T317* C,T0* a1){
T6 R=0;
/*[IF*/
if((((C)->_cache_keys_idx/*24*/)<(0))||(!(r7is_equal(((T7*)a1),/*(IRF4.6item*/(((T26*)((C)->_keys/*0*/))->_storage/*0*/)[(C)->_cache_keys_idx/*24*/]/*)*/)))){
C->_cache_user_idx=-(1);
C->_cache_keys_idx=/*(IRF4.6item*/(((T62*)((C)->_buckets/*12*/))->_storage/*0*/)[(r7hash_code(((T7*)a1)))%((C)->_modulus/*8*/)]/*)*/;
while (!((((C)->_cache_keys_idx/*24*/)<(0))||(r7is_equal(((T7*)a1),/*(IRF4.6item*/(((T26*)((C)->_keys/*0*/))->_storage/*0*/)[(C)->_cache_keys_idx/*24*/]/*)*/)))) {
C->_cache_keys_idx=/*(IRF4.6item*/(((T62*)((C)->_chain/*16*/))->_storage/*0*/)[(C)->_cache_keys_idx/*24*/]/*)*/;
}
}
/*FI]*/
R=((C)->_cache_keys_idx/*24*/)>=(0);
return R;
}
/*No:DICTIONARY[RUN_FEATURE,STRING].cache_user_idx*/
/*No:DICTIONARY[RUN_FEATURE,STRING].cache_keys_idx*/


void r317expand(T317* C){
T2 _i=0;
_i=/*(IRF4.6count*/(((T26*)((C)->_keys/*0*/))->_upper/*8*/)+(1)/*)*/;
r317resize_buckets(C,((_i)*(2))*(3));
while (!((_i)==(0))) {
r62add_last((T62*)((C)->_chain/*16*/),(C)->_first_free_slot/*20*/);
C->_first_free_slot=((T62*)((C)->_chain/*16*/))->_upper/*8*/;
_i=(_i)-(1);
}
r26resize((T26*)((C)->_keys/*0*/),/*(IRF4.6count*/(((T62*)((C)->_chain/*16*/))->_upper/*8*/)+(1)/*)*/);
X311resize((C)->_store/*4*/,/*(IRF4.6count*/(((T62*)((C)->_chain/*16*/))->_upper/*8*/)+(1)/*)*/);
}


void r317resize_buckets(T317* C,T2 a1){
T2 _i=0;
T2 _h=0;
C->_modulus=a1;
r62resize((T62*)((C)->_buckets/*12*/),a1);
/*[IRF3.6set_all_with*/{T62* C1=(T62*)((C)->_buckets/*12*/);
T2 b1=-(1);
r63set_all_with((C1)->_storage/*0*/,b1,(C1)->_upper/*8*/);
}/*]*/
while (!(((C)->_first_free_slot/*20*/)<(0))) {
_i=/*(IRF4.6item*/(((T62*)((C)->_chain/*16*/))->_storage/*0*/)[(C)->_first_free_slot/*20*/]/*)*/;
/*[IRF3.5put*/(((T62*)((C)->_chain/*16*/))->_storage/*0*/)[(C)->_first_free_slot/*20*/]=(-(2));
/*]*/
C->_first_free_slot=_i;
}
_i=((T62*)((C)->_chain/*16*/))->_upper/*8*/;
while (!((_i)<(0))) {
/*[IF*/
if((/*(IRF4.6item*/(((T62*)((C)->_chain/*16*/))->_storage/*0*/)[_i]/*)*/)==(-(2))){
/*[IRF3.5put*/(((T62*)((C)->_chain/*16*/))->_storage/*0*/)[_i]=((C)->_first_free_slot/*20*/);
/*]*/
C->_first_free_slot=_i;
}
else{
_h=(r7hash_code((T7*)(/*(IRF4.6item*/(((T26*)((C)->_keys/*0*/))->_storage/*0*/)[_i]/*)*/)))%(a1);
/*[IRF3.5put*/(((T62*)((C)->_chain/*16*/))->_storage/*0*/)[_i]=(/*(IRF4.6item*/(((T62*)((C)->_buckets/*12*/))->_storage/*0*/)[_h]/*)*/);
/*]*/
/*[IRF3.5put*/(((T62*)((C)->_buckets/*12*/))->_storage/*0*/)[_h]=(_i);
/*]*/
}
/*FI]*/
_i=(_i)-(1);
}
}
/*No:DICTIONARY[RUN_FEATURE,STRING].buckets_keys_ratio*/
/*No:DICTIONARY[RUN_FEATURE,STRING].first_free_slot*/


T0* r317at(T317* C,T0* a1){
T0* R=NULL;
/*[IF*/
if((((C)->_cache_keys_idx/*24*/)<(0))||(!(r7is_equal(((T7*)a1),/*(IRF4.6item*/(((T26*)((C)->_keys/*0*/))->_storage/*0*/)[(C)->_cache_keys_idx/*24*/]/*)*/)))){
C->_cache_user_idx=-(1);
C->_cache_keys_idx=/*(IRF4.6item*/(((T62*)((C)->_buckets/*12*/))->_storage/*0*/)[(r7hash_code(((T7*)a1)))%((C)->_modulus/*8*/)]/*)*/;
while (!(r7is_equal(((T7*)a1),/*(IRF4.6item*/(((T26*)((C)->_keys/*0*/))->_storage/*0*/)[(C)->_cache_keys_idx/*24*/]/*)*/))) {
C->_cache_keys_idx=/*(IRF4.6item*/(((T62*)((C)->_chain/*16*/))->_storage/*0*/)[(C)->_cache_keys_idx/*24*/]/*)*/;
}
}
/*FI]*/
R=/*X311item*/((T0*)r311item((T311*)((C)->_store/*4*/),(C)->_cache_keys_idx/*24*/));
return R;
}
/*No:DICTIONARY[RUN_FEATURE,STRING].modulus*/
/*No:DICTIONARY[RUN_FEATURE,STRING].count*/
/*No:DICTIONARY[RUN_FEATURE,STRING].chain*/
/*No:DICTIONARY[RUN_FEATURE,STRING].make*/
/*No:DICTIONARY[RUN_FEATURE,STRING].store*/
/*No:DICTIONARY[RUN_FEATURE,STRING].buckets*/
/*No:DICTIONARY[RUN_FEATURE,STRING].keys*/


void r317put(T317* C,T0* a1,T0* a2){
T2 _h=0;
/*[IF*/
if((((C)->_cache_keys_idx/*24*/)<(0))||(!(r7is_equal(((T7*)a2),/*(IRF4.6item*/(((T26*)((C)->_keys/*0*/))->_storage/*0*/)[(C)->_cache_keys_idx/*24*/]/*)*/)))){
C->_cache_user_idx=-(1);
_h=(r7hash_code(((T7*)a2)))%((C)->_modulus/*8*/);
C->_cache_keys_idx=/*(IRF4.6item*/(((T62*)((C)->_buckets/*12*/))->_storage/*0*/)[_h]/*)*/;
while (!((((C)->_cache_keys_idx/*24*/)<(0))||(r7is_equal(((T7*)a2),/*(IRF4.6item*/(((T26*)((C)->_keys/*0*/))->_storage/*0*/)[(C)->_cache_keys_idx/*24*/]/*)*/)))) {
C->_cache_keys_idx=/*(IRF4.6item*/(((T62*)((C)->_chain/*16*/))->_storage/*0*/)[(C)->_cache_keys_idx/*24*/]/*)*/;
}
/*[IF*/
if(((C)->_cache_keys_idx/*24*/)<(0)){
/*[IF*/
if(((C)->_first_free_slot/*20*/)<(0)){
r317expand(C);
_h=(r7hash_code(((T7*)a2)))%((C)->_modulus/*8*/);
}
/*FI]*/
/*[IRF3.5put*/(((T26*)((C)->_keys/*0*/))->_storage/*0*/)[(C)->_first_free_slot/*20*/]=(a2);
/*]*/
/*X311put*//*[IRF3.6put*/{T311* C1=(T311*)((C)->_store/*4*/);
T0* b1=a1;
T2 b2=(C)->_first_free_slot/*20*/;
((C1)->_storage/*4*/)[b2]=(b1);
}/*]*/
C->_cache_keys_idx=(C)->_first_free_slot/*20*/;
C->_first_free_slot=/*(IRF4.6item*/(((T62*)((C)->_chain/*16*/))->_storage/*0*/)[(C)->_first_free_slot/*20*/]/*)*/;
/*[IRF3.5put*/(((T62*)((C)->_chain/*16*/))->_storage/*0*/)[(C)->_cache_keys_idx/*24*/]=(/*(IRF4.6item*/(((T62*)((C)->_buckets/*12*/))->_storage/*0*/)[_h]/*)*/);
/*]*/
/*[IRF3.5put*/(((T62*)((C)->_buckets/*12*/))->_storage/*0*/)[_h]=((C)->_cache_keys_idx/*24*/);
/*]*/
C->_count=((C)->_count/*32*/)+(1);
}
else{
/*X311put*//*[IRF3.6put*/{T311* C1=(T311*)((C)->_store/*4*/);
T0* b1=a1;
T2 b2=(C)->_cache_keys_idx/*24*/;
((C1)->_storage/*4*/)[b2]=(b1);
}/*]*/
}
/*FI]*/
}
else{
/*X311put*//*[IRF3.6put*/{T311* C1=(T311*)((C)->_store/*4*/);
T0* b1=a1;
T2 b2=(C)->_cache_keys_idx/*24*/;
((C1)->_storage/*4*/)[b2]=(b1);
}/*]*/
}
/*FI]*/
}
T0*oBC11short_print=NULL;
/*No:TAG_NAME.start_position*/
/*No:TAG_NAME.to_string*/
T0*oBC11unique_string=NULL;


void r54make(T54* C,T0* a1,T0* a2){
C->_to_string=r78item(a1);
C->_start_position=a2;
}


void r54short(T54* C){
T3 _c=0;
T2 _i=0;
r39hook((T39*)(oBC11short_print),((T0*)ms54_1568));
_i=1;
while (!((_i)>(((T7*)((C)->_to_string/*0*/))->_count/*4*/))) {
_c=/*(IRF4.6item*/(((T7*)((C)->_to_string/*0*/))->_storage/*0*/)[(_i)-(1)]/*)*/;
/*[IF*/
if((_c)==('\137')){
r39hook_or((T39*)(oBC11short_print),((T0*)ms54_1644),((T0*)ms54_96));
}
else{
/*[IRF3.6a_character*/{T3 b1=_c;
/*[IRF3.6put_character*/{T38* C2=(T38*)(oBC1std_output);
T3 c1=b1;
putc(c1,((FILE*)(stdout)));
}/*]*/
}/*]*/
}
/*FI]*/
_i=(_i)+(1);
}
r39hook((T39*)(oBC11short_print),((T0*)ms54_1564));
}
/*No:BIT_CONSTANT.hexa*/
/*No:BIT_CONSTANT.start_position*/


T0* r160add_comment(T160* C,T0* a1){
T0* R=NULL;
/*[IF*/
if(((a1)==((void*)(NULL)))||((/*(IRF4.6count*/r34count(((T34*)((((T52*)a1))->_list/*4*/)))/*)*/)==(0))){
R=(T0*)C;
}
else{
{T218*n=malloc(sizeof(*n));
*n=M218;
r218make(n,(T0*)C,a1);
R=(T0*)n;
}
}
/*FI]*/
return R;
}


T2 r160to_integer(T160* C){
T2 R=0;
r160error((C)->_start_position/*4*/,((T0*)ms12_45846));
return R;
}
T0*oBC11eh=NULL;


T0* r160to_runnable(T160* C,T0* a1){
T0* R=NULL;
T0* _ic=NULL;
/*[IF*/
if(((C)->_result_type/*12*/)==((void*)(NULL))){
{T162*n=malloc(sizeof(*n));
*n=M162;
r162make(n,((T7*)((C)->_value/*8*/))->_count/*4*/,(C)->_start_position/*4*/);
_ic=(T0*)n;
}
{T264*n=malloc(sizeof(*n));
*n=M264;
r264make(n,(C)->_start_position/*4*/,_ic);
C->_result_type=(T0*)n;
}
r310set_at_run_time((T310*)(r264run_class((T264*)((C)->_result_type/*12*/))));
C->_hexa=r7twin((T7*)((C)->_value/*8*/));
r7to_hexadecimal((T7*)((C)->_hexa/*16*/));
}
/*FI]*/
R=(T0*)C;
return R;
}
/*No:BIT_CONSTANT.fz_iinaiv*/
/*No:BIT_CONSTANT.result_type*/


void r160error(T0* a1,T0* a2){
r67add_position(a1);
r67error((T67*)(oBC11eh),a2);
}
/*No:BIT_CONSTANT.precedence*/


void r160make(T160* C,T0* a1,T0* a2){
C->_start_position=a1;
C->_value=a2;
}


void r160bracketed_short(T160* C){
r39hook_or((T39*)(oBC11short_print),((T0*)ms53_6792),((T0*)ms53_41));
r160short(C);
r39hook_or((T39*)(oBC11short_print),((T0*)ms53_8645),((T0*)ms53_42));
}
/*No:BIT_CONSTANT.is_current*/
/*No:BIT_CONSTANT.is_void*/


void r160short_target(T160* C){
r160bracketed_short(C);
/*[IRF3.6a_dot*/{T39* C1=(T39*)(oBC11short_print);
r39hook_or(C1,((T0*)ms39_999a),((T0*)ms12_47));
}/*]*/
}


void r160short(T160* C){
T2 _i=0;
_i=1;
while (!((_i)>(((T7*)((C)->_value/*8*/))->_count/*4*/))) {
/*[IRF3.6a_character*/{T3 b1=/*(IRF4.6item*/(((T7*)((C)->_value/*8*/))->_storage/*0*/)[(_i)-(1)]/*)*/;
/*[IRF3.6put_character*/{T38* C2=(T38*)(oBC1std_output);
T3 c1=b1;
putc(c1,((FILE*)(stdout)));
}/*]*/
}/*]*/
_i=(_i)+(1);
}
/*[IRF3.6a_character*/{T3 b1='B';
/*[IRF3.6put_character*/{T38* C2=(T38*)(oBC1std_output);
T3 c1=b1;
putc(c1,((FILE*)(stdout)));
}/*]*/
}/*]*/
}
/*No:BIT_CONSTANT.value*/
/*No:BIT_CONSTANT.atomic_precedence*/
/*No:INFIX_NAME.is_frozen*/


void r125undefine_in(T125* C,T0* a1){
/*[IF*/
/*AF*//*AE*/
/*FI]*/
}


T0* r125origin_base_class(T125* C){
T0* R=NULL;
T0* _sp=NULL;
_sp=(C)->_start_position/*8*/;
/*[IF*/
if((_sp)!=((void*)(NULL))){
R=r69base_class(((T69*)_sp));
}
/*FI]*/
return R;
}
/*No:INFIX_NAME.start_position*/
/*No:INFIX_NAME.to_string*/


void r125declaration_in(T125* C,T0* a1){
r7append(((T7*)a1),((T0*)ms12_2785));
r7extend(((T7*)a1),'\40');
r7extend(((T7*)a1),'\42');
r7append(((T7*)a1),(C)->_to_string/*4*/);
r7extend(((T7*)a1),'\42');
}
/*No:INFIX_NAME.to_key*/


void r125error(T0* a1,T0* a2){
r67add_position(a1);
r67error((T67*)(oBC11eh),a2);
}


void r125make(T125* C,T0* a1,T0* a2){
C->_to_string=r78item(a1);
C->_start_position=a2;
C->_to_key=r78for_infix((C)->_to_string/*4*/);
}
/*No:INFIX_NAME.fz_infix*/
/*No:INFIX_NAME.short*/
/*No:E_ENSURE.start_position*/
/*No:E_ENSURE.header_comment*/
/*No:E_ENSURE.is_ensure_then*/
/*No:E_ENSURE.current_type*/
/*No:E_ENSURE.set_ensure_then*/


void r203add_into(T203* C,T0* a1){
T0* _a=NULL;
T2 _i=0;
/*[IF*/
if(((C)->_list/*8*/)!=((void*)(NULL))){
_i=1;
while (!((_i)>(((T50*)((C)->_list/*8*/))->_upper/*8*/))) {
_a=r50item((T50*)((C)->_list/*8*/),_i);
/*[IF*/
if(!(r50fast_has(((T50*)a1),_a))){
r50add_last(((T50*)a1),_a);
}
/*FI]*/
_i=(_i)+(1);
}
}
/*FI]*/
}
/*No:E_ENSURE.run_feature*/


void r203make(T203* C,T0* a1,T0* a2,T0* a3){
C->_start_position=a1;
C->_header_comment=a2;
C->_list=a3;
}


void r203make_runnable(T203* C,T0* a1,T0* a2,T0* a3){
C->_list=a1;
C->_current_type=a2;
C->_run_feature=a3;
}
/*No:E_ENSURE.set_header_comment*/
/*No:E_ENSURE.list*/


void r203short(T203* C){
T2 _i=0;
r39hook_or((T39*)(oBC11short_print),((T0*)ms203_5908aaaa),((T0*)ms203_3965));
/*[IF*/
if(((C)->_header_comment/*4*/)==((void*)(NULL))){
r39hook_or((T39*)(oBC11short_print),((T0*)ms203_5957aaa),((T0*)ms203_0aaaaaaaaaaaaaaaaaaa));
}
else{
r39hook_or((T39*)(oBC11short_print),((T0*)ms203_6006aaa),((T0*)ms203_0aaaaaaaaaaaaaaaaaaaaa));
r52short((T52*)((C)->_header_comment/*4*/),((T0*)ms203_6055aaa),((T0*)ms203_6708),((T0*)ms203_6104a),((T0*)ms203_11aaaa));
r39hook_or((T39*)(oBC11short_print),((T0*)ms203_6153aa),((T0*)ms203_0aaaaaaaaaaaaaaaaaaaa));
}
/*FI]*/
/*[IF*/
if(((C)->_list/*8*/)==((void*)(NULL))){
r39hook_or((T39*)(oBC11short_print),((T0*)ms203_6202),((T0*)ms203_0a));
}
else{
r39hook_or((T39*)(oBC11short_print),((T0*)ms203_6251aa),((T0*)ms203_0aaaaaaaaaaaaaaaaaa));
_i=1;
while (!((_i)==(((T50*)((C)->_list/*8*/))->_upper/*8*/))) {
r49short((T49*)(r50item((T50*)((C)->_list/*8*/),_i)),((T0*)ms203_6300aaa),((T0*)ms203_4167a),((T0*)ms203_5859aaa),((T0*)ms203_0aaaaaaaaaaaaaaaaa),((T0*)ms203_5908aaa),((T0*)ms203_0aaaaaaaaaaaaaaaa),((T0*)ms203_5957aa),((T0*)ms203_186a),((T0*)ms203_6006aa),((T0*)ms203_0aaaaaaaaaaaaaaa),((T0*)ms203_6055aa),((T0*)ms203_0aaaaaaaaaaaaaa),((T0*)ms203_6104),((T0*)ms203_60),((T0*)ms203_6153a),((T0*)ms203_11aaa),((T0*)ms203_6202aa),((T0*)ms203_0aaaaaaaaaaaaa),((T0*)ms203_6251a),((T0*)ms203_656a),((T0*)ms203_6300aa),((T0*)ms203_11aa),((T0*)ms203_5859aa),((T0*)ms203_0aaaaaaaaaaaa),((T0*)ms203_5908aa),((T0*)ms203_0aaaaaaaaaaa));
_i=(_i)+(1);
}
r49short((T49*)(r50item((T50*)((C)->_list/*8*/),_i)),((T0*)ms203_6300a),((T0*)ms203_4167),((T0*)ms203_5859a),((T0*)ms203_0aaaaaaaaaa),((T0*)ms203_5908a),((T0*)ms203_0aaaaaaaaa),((T0*)ms203_5957a),((T0*)ms203_186),((T0*)ms203_6006a),((T0*)ms203_0aaaaaaaa),((T0*)ms203_6055a),((T0*)ms203_0aaaaaaa),((T0*)ms203_5957),((T0*)ms203_0aaaaaa),((T0*)ms203_6153),((T0*)ms203_11a),((T0*)ms203_6202a),((T0*)ms203_0aaaaa),((T0*)ms203_6251),((T0*)ms203_656),((T0*)ms203_6300),((T0*)ms203_11),((T0*)ms203_5859),((T0*)ms203_0aaaa),((T0*)ms203_5908),((T0*)ms203_0aaa));
r39hook_or((T39*)(oBC11short_print),((T0*)ms203_6006),((T0*)ms203_0aa));
}
/*FI]*/
r39hook_or((T39*)(oBC11short_print),((T0*)ms203_6055),((T0*)ms203_0));
}


T0* r78for_infix(T0* a1){
T0* R=NULL;
R=r78key_for_prefix_infix(((T0*)ms78_1728),a1);
return R;
}
/*No:UNIQUE_STRING.us_fclose*/
/*No:UNIQUE_STRING.us_shift_left*/
/*No:UNIQUE_STRING.us_put_1*/
/*No:UNIQUE_STRING.us_maximum_character_code*/
T0*oBC78memory=NULL;
/*No:UNIQUE_STRING.us_real_ref*/
/*No:UNIQUE_STRING.us_die_with_code*/
/*No:UNIQUE_STRING.us_is_equal*/
/*No:UNIQUE_STRING.us_boolean_ref*/
/*No:UNIQUE_STRING.us_item*/
/*No:UNIQUE_STRING.us_integer*/
/*No:UNIQUE_STRING.us_with_capacity*/
/*No:UNIQUE_STRING.us_minimum_integer*/
/*No:UNIQUE_STRING.us_double*/
/*No:UNIQUE_STRING.us_stdin*/
/*No:UNIQUE_STRING.us_maximum_double*/
/*No:UNIQUE_STRING.us_realloc*/
/*No:UNIQUE_STRING.us_se_argc*/
/*No:UNIQUE_STRING.us_se_system*/
/*No:UNIQUE_STRING.us_general*/
/*No:UNIQUE_STRING.us_native_array*/
/*No:UNIQUE_STRING.us_standard_is_equal*/
/*No:UNIQUE_STRING.us_std_neq*/
/*No:UNIQUE_STRING.us_integer_ref*/
/*No:UNIQUE_STRING.us_and_then*/


T0* r78read(T0* a1){
T0* R=NULL;
R=r72at((T72*)(oBC78memory),a1);
return R;
}
/*No:UNIQUE_STRING.us_double_floor*/
/*No:UNIQUE_STRING.us_pointer*/
/*No:UNIQUE_STRING.make*/
/*No:UNIQUE_STRING.us_implies*/
/*No:UNIQUE_STRING.us_platform*/
/*No:UNIQUE_STRING.us_std_output*/
/*No:UNIQUE_STRING.us_memory*/
/*No:UNIQUE_STRING.us_compile_to_jvm*/
/*No:UNIQUE_STRING.us_precursor*/
/*No:UNIQUE_STRING.us_floor*/
/*No:UNIQUE_STRING.us_real_bits*/
/*No:UNIQUE_STRING.us_std_file_read*/
/*No:UNIQUE_STRING.us_standard_copy*/
/*No:UNIQUE_STRING.us_twin*/
/*No:UNIQUE_STRING.us_se_string2double*/
/*No:UNIQUE_STRING.us_minimum_character_code*/


T0* r78item(T0* a1){
T0* R=NULL;
r78initialize();
/*[IF*/
if(r72has((T72*)(oBC78memory),a1)){
R=r78read(a1);
}
else{
R=r7twin(((T7*)a1));
/*[IRF3.6add1*/{T0* b1=R;
r72put((T72*)(oBC78memory),b1,b1);
}/*]*/
}
/*FI]*/
return R;
}
/*No:UNIQUE_STRING.us_from_pointer*/
/*No:UNIQUE_STRING.us_minimum_double*/
/*No:UNIQUE_STRING.us_std_error*/
/*No:UNIQUE_STRING.us_pointer_ref*/
/*No:UNIQUE_STRING.us_sfr_open*/
/*No:UNIQUE_STRING.us_sfw_open*/
/*No:UNIQUE_STRING.us_character_bits*/
/*No:UNIQUE_STRING.us_maximum_real*/
/*No:UNIQUE_STRING.us_lower*/
/*No:UNIQUE_STRING.us_character_ref*/
/*No:UNIQUE_STRING.us_raise_exception*/
/*No:UNIQUE_STRING.us_current*/
/*No:UNIQUE_STRING.us_minus*/


T0* r78for_precursor(T2 a1,T0* a2){
T0* R=NULL;
r7copy((T7*)(oBC78tmp_string),((T0*)ms78_356));
r2append_in(a1,oBC78tmp_string);
r7append((T7*)(oBC78tmp_string),a2);
R=r78item(oBC78tmp_string);
return R;
}
/*No:UNIQUE_STRING.us_is_expanded_type*/
int fBC78initialize=0;


void r78initialize(void){
if (fBC78initialize==0){
fBC78initialize=1;
/*[IRF3.6add1*/{T0* b1=((T0*)ms13_714);
r72put((T72*)(oBC78memory),b1,b1);
}/*]*/
/*[IRF3.6add1*/{T0* b1=((T0*)ms13_1990);
r72put((T72*)(oBC78memory),b1,b1);
}/*]*/
/*[IRF3.6add1*/{T0* b1=((T0*)ms13_687);
r72put((T72*)(oBC78memory),b1,b1);
}/*]*/
/*[IRF3.6add1*/{T0* b1=((T0*)ms13_2055);
r72put((T72*)(oBC78memory),b1,b1);
}/*]*/
/*[IRF3.6add1*/{T0* b1=((T0*)ms13_9369);
r72put((T72*)(oBC78memory),b1,b1);
}/*]*/
/*[IRF3.6add1*/{T0* b1=((T0*)ms13_6510);
r72put((T72*)(oBC78memory),b1,b1);
}/*]*/
/*[IRF3.6add1*/{T0* b1=((T0*)ms13_12694);
r72put((T72*)(oBC78memory),b1,b1);
}/*]*/
/*[IRF3.6add1*/{T0* b1=((T0*)ms13_9936);
r72put((T72*)(oBC78memory),b1,b1);
}/*]*/
/*[IRF3.6add1*/{T0* b1=((T0*)ms13_16588);
r72put((T72*)(oBC78memory),b1,b1);
}/*]*/
/*[IRF3.6add1*/{T0* b1=((T0*)ms13_12700);
r72put((T72*)(oBC78memory),b1,b1);
}/*]*/
/*[IRF3.6add1*/{T0* b1=((T0*)ms13_4818);
r72put((T72*)(oBC78memory),b1,b1);
}/*]*/
/*[IRF3.6add1*/{T0* b1=((T0*)ms13_10890);
r72put((T72*)(oBC78memory),b1,b1);
}/*]*/
/*[IRF3.6add1*/{T0* b1=((T0*)ms13_12180);
r72put((T72*)(oBC78memory),b1,b1);
}/*]*/
/*[IRF3.6add1*/{T0* b1=((T0*)ms13_14982);
r72put((T72*)(oBC78memory),b1,b1);
}/*]*/
/*[IRF3.6add1*/{T0* b1=((T0*)ms13_6412);
r72put((T72*)(oBC78memory),b1,b1);
}/*]*/
/*[IRF3.6add1*/{T0* b1=((T0*)ms13_6748);
r72put((T72*)(oBC78memory),b1,b1);
}/*]*/
/*[IRF3.6add1*/{T0* b1=((T0*)ms13_12760);
r72put((T72*)(oBC78memory),b1,b1);
}/*]*/
/*[IRF3.6add1*/{T0* b1=((T0*)ms13_5598);
r72put((T72*)(oBC78memory),b1,b1);
}/*]*/
/*[IRF3.6add1*/{T0* b1=((T0*)ms13_17628);
r72put((T72*)(oBC78memory),b1,b1);
}/*]*/
/*[IRF3.6add1*/{T0* b1=((T0*)ms13_1256);
r72put((T72*)(oBC78memory),b1,b1);
}/*]*/
/*[IRF3.6add1*/{T0* b1=((T0*)ms13_8048);
r72put((T72*)(oBC78memory),b1,b1);
}/*]*/
/*[IRF3.6add1*/{T0* b1=((T0*)ms13_6881);
r72put((T72*)(oBC78memory),b1,b1);
}/*]*/
/*[IRF3.6add1*/{T0* b1=((T0*)ms13_12969);
r72put((T72*)(oBC78memory),b1,b1);
}/*]*/
/*[IRF3.6add1*/{T0* b1=((T0*)ms13_1208);
r72put((T72*)(oBC78memory),b1,b1);
}/*]*/
/*[IRF3.6add1*/{T0* b1=((T0*)ms13_7696);
r72put((T72*)(oBC78memory),b1,b1);
}/*]*/
/*[IRF3.6add1*/{T0* b1=((T0*)ms13_5046);
r72put((T72*)(oBC78memory),b1,b1);
}/*]*/
/*[IRF3.6add1*/{T0* b1=((T0*)ms13_16887);
r72put((T72*)(oBC78memory),b1,b1);
}/*]*/
/*[IRF3.6add1*/{T0* b1=((T0*)ms13_19334);
r72put((T72*)(oBC78memory),b1,b1);
}/*]*/
/*[IRF3.6add1*/{T0* b1=((T0*)ms13_939);
r72put((T72*)(oBC78memory),b1,b1);
}/*]*/
/*[IRF3.6add1*/{T0* b1=((T0*)ms13_10800);
r72put((T72*)(oBC78memory),b1,b1);
}/*]*/
/*[IRF3.6add1*/{T0* b1=((T0*)ms13_65);
r72put((T72*)(oBC78memory),b1,b1);
}/*]*/
/*[IRF3.6add1*/{T0* b1=((T0*)ms13_374);
r72put((T72*)(oBC78memory),b1,b1);
}/*]*/
/*[IRF3.6add1*/{T0* b1=((T0*)ms13_62);
r72put((T72*)(oBC78memory),b1,b1);
}/*]*/
/*[IRF3.6add1*/{T0* b1=((T0*)ms13_252);
r72put((T72*)(oBC78memory),b1,b1);
}/*]*/
/*[IRF3.6add1*/{T0* b1=((T0*)ms13_63);
r72put((T72*)(oBC78memory),b1,b1);
}/*]*/
/*[IRF3.6add1*/{T0* b1=((T0*)ms13_9513);
r72put((T72*)(oBC78memory),b1,b1);
}/*]*/
/*[IRF3.6add1*/{T0* b1=((T0*)ms13_248);
r72put((T72*)(oBC78memory),b1,b1);
}/*]*/
/*[IRF3.6add1*/{T0* b1=((T0*)ms13_61);
r72put((T72*)(oBC78memory),b1,b1);
}/*]*/
/*[IRF3.6add1*/{T0* b1=((T0*)ms13_46);
r72put((T72*)(oBC78memory),b1,b1);
}/*]*/
/*[IRF3.6add1*/{T0* b1=((T0*)ms13_43);
r72put((T72*)(oBC78memory),b1,b1);
}/*]*/
/*[IRF3.6add1*/{T0* b1=((T0*)ms13_222);
r72put((T72*)(oBC78memory),b1,b1);
}/*]*/
/*[IRF3.6add1*/{T0* b1=((T0*)ms13_1029);
r72put((T72*)(oBC78memory),b1,b1);
}/*]*/
/*[IRF3.6add1*/{T0* b1=((T0*)ms13_456);
r72put((T72*)(oBC78memory),b1,b1);
}/*]*/
/*[IRF3.6add1*/{T0* b1=((T0*)ms13_8316);
r72put((T72*)(oBC78memory),b1,b1);
}/*]*/
/*[IRF3.6add1*/{T0* b1=((T0*)ms13_44);
r72put((T72*)(oBC78memory),b1,b1);
}/*]*/
/*[IRF3.6add1*/{T0* b1=((T0*)ms13_95);
r72put((T72*)(oBC78memory),b1,b1);
}/*]*/
/*[IRF3.6add1*/{T0* b1=((T0*)ms13_570);
r72put((T72*)(oBC78memory),b1,b1);
}/*]*/
/*[IRF3.6add1*/{T0* b1=((T0*)ms13_582);
r72put((T72*)(oBC78memory),b1,b1);
}/*]*/
/*[IRF3.6add1*/{T0* b1=((T0*)ms13_48);
r72put((T72*)(oBC78memory),b1,b1);
}/*]*/
/*[IRF3.6add1*/{T0* b1=((T0*)ms13_194);
r72put((T72*)(oBC78memory),b1,b1);
}/*]*/
/*[IRF3.6add1*/{T0* b1=((T0*)ms13_36);
r72put((T72*)(oBC78memory),b1,b1);
}/*]*/
/*[IRF3.6add1*/{T0* b1=((T0*)ms13_1053a);
r72put((T72*)(oBC78memory),b1,b1);
}/*]*/
/*[IRF3.6add1*/{T0* b1=((T0*)ms13_2675);
r72put((T72*)(oBC78memory),b1,b1);
}/*]*/
/*[IRF3.6add1*/{T0* b1=((T0*)ms13_2695);
r72put((T72*)(oBC78memory),b1,b1);
}/*]*/
r78add2(((T0*)ms13_22704));
/*[IRF3.6add1*/{T0* b1=((T0*)ms13_6792);
r72put((T72*)(oBC78memory),b1,b1);
}/*]*/
/*[IRF3.6add1*/{T0* b1=((T0*)ms13_11896);
r72put((T72*)(oBC78memory),b1,b1);
}/*]*/
r78add2(((T0*)ms13_29456));
/*[IRF3.6add1*/{T0* b1=((T0*)ms13_13554);
r72put((T72*)(oBC78memory),b1,b1);
}/*]*/
/*[IRF3.6add1*/{T0* b1=((T0*)ms13_20868);
r72put((T72*)(oBC78memory),b1,b1);
}/*]*/
/*[IRF3.6add1*/{T0* b1=((T0*)ms13_29078);
r72put((T72*)(oBC78memory),b1,b1);
}/*]*/
/*[IRF3.6add1*/{T0* b1=((T0*)ms13_2840a);
r72put((T72*)(oBC78memory),b1,b1);
}/*]*/
/*[IRF3.6add1*/{T0* b1=((T0*)ms13_1684);
r72put((T72*)(oBC78memory),b1,b1);
}/*]*/
/*[IRF3.6add1*/{T0* b1=((T0*)ms13_19459);
r72put((T72*)(oBC78memory),b1,b1);
}/*]*/
/*[IRF3.6add1*/{T0* b1=((T0*)ms13_1812);
r72put((T72*)(oBC78memory),b1,b1);
}/*]*/
/*[IRF3.6add1*/{T0* b1=((T0*)ms13_15220);
r72put((T72*)(oBC78memory),b1,b1);
}/*]*/
/*[IRF3.6add1*/{T0* b1=((T0*)ms13_15720);
r72put((T72*)(oBC78memory),b1,b1);
}/*]*/
/*[IRF3.6add1*/{T0* b1=((T0*)ms13_19602);
r72put((T72*)(oBC78memory),b1,b1);
}/*]*/
/*[IRF3.6add1*/{T0* b1=((T0*)ms13_23004a);
r72put((T72*)(oBC78memory),b1,b1);
}/*]*/
/*[IRF3.6add1*/{T0* b1=((T0*)ms13_24024);
r72put((T72*)(oBC78memory),b1,b1);
}/*]*/
/*[IRF3.6add1*/{T0* b1=((T0*)ms13_27482);
r72put((T72*)(oBC78memory),b1,b1);
}/*]*/
/*[IRF3.6add1*/{T0* b1=((T0*)ms13_10648);
r72put((T72*)(oBC78memory),b1,b1);
}/*]*/
/*[IRF3.6add1*/{T0* b1=((T0*)ms13_13842);
r72put((T72*)(oBC78memory),b1,b1);
}/*]*/
/*[IRF3.6add1*/{T0* b1=((T0*)ms13_6936);
r72put((T72*)(oBC78memory),b1,b1);
}/*]*/
/*[IRF3.6add1*/{T0* b1=((T0*)ms13_1704);
r72put((T72*)(oBC78memory),b1,b1);
}/*]*/
/*[IRF3.6add1*/{T0* b1=((T0*)ms13_2805a);
r72put((T72*)(oBC78memory),b1,b1);
}/*]*/
/*[IRF3.6add1*/{T0* b1=((T0*)ms13_22428);
r72put((T72*)(oBC78memory),b1,b1);
}/*]*/
/*[IRF3.6add1*/{T0* b1=((T0*)ms13_1712);
r72put((T72*)(oBC78memory),b1,b1);
}/*]*/
/*[IRF3.6add1*/{T0* b1=((T0*)ms13_22968);
r72put((T72*)(oBC78memory),b1,b1);
}/*]*/
/*[IRF3.6add1*/{T0* b1=((T0*)ms13_30885);
r72put((T72*)(oBC78memory),b1,b1);
}/*]*/
/*[IRF3.6add1*/{T0* b1=((T0*)ms13_14130);
r72put((T72*)(oBC78memory),b1,b1);
}/*]*/
/*[IRF3.6add1*/{T0* b1=((T0*)ms13_438);
r72put((T72*)(oBC78memory),b1,b1);
}/*]*/
r78add2(((T0*)ms13_22776));
/*[IRF3.6add1*/{T0* b1=((T0*)ms13_60434);
r72put((T72*)(oBC78memory),b1,b1);
}/*]*/
/*[IRF3.6add1*/{T0* b1=((T0*)ms13_34672);
r72put((T72*)(oBC78memory),b1,b1);
}/*]*/
/*[IRF3.6add1*/{T0* b1=((T0*)ms13_11264);
r72put((T72*)(oBC78memory),b1,b1);
}/*]*/
/*[IRF3.6add1*/{T0* b1=((T0*)ms13_18161);
r72put((T72*)(oBC78memory),b1,b1);
}/*]*/
/*[IRF3.6add1*/{T0* b1=((T0*)ms13_1764);
r72put((T72*)(oBC78memory),b1,b1);
}/*]*/
/*[IRF3.6add1*/{T0* b1=((T0*)ms13_2840);
r72put((T72*)(oBC78memory),b1,b1);
}/*]*/
/*[IRF3.6add1*/{T0* b1=((T0*)ms13_6852);
r72put((T72*)(oBC78memory),b1,b1);
}/*]*/
/*[IRF3.6add1*/{T0* b1=((T0*)ms13_1696);
r72put((T72*)(oBC78memory),b1,b1);
}/*]*/
r78add2(((T0*)ms13_60346));
r78add2(((T0*)ms13_27090));
r78add2(((T0*)ms13_33465));
r78add2(((T0*)ms13_21804));
r78add2(((T0*)ms13_60390));
r78add2(((T0*)ms13_27118));
r78add2(((T0*)ms13_33495));
r78add2(((T0*)ms13_21828));
/*[IRF3.6add1*/{T0* b1=((T0*)ms13_18051);
r72put((T72*)(oBC78memory),b1,b1);
}/*]*/
/*[IRF3.6add1*/{T0* b1=((T0*)ms13_23004);
r72put((T72*)(oBC78memory),b1,b1);
}/*]*/
/*[IRF3.6add1*/{T0* b1=((T0*)ms13_21372);
r72put((T72*)(oBC78memory),b1,b1);
}/*]*/
/*[IRF3.6add1*/{T0* b1=((T0*)ms13_2860);
r72put((T72*)(oBC78memory),b1,b1);
}/*]*/
/*[IRF3.6add1*/{T0* b1=((T0*)ms13_11616);
r72put((T72*)(oBC78memory),b1,b1);
}/*]*/
/*[IRF3.6add1*/{T0* b1=((T0*)ms13_54240);
r72put((T72*)(oBC78memory),b1,b1);
}/*]*/
/*[IRF3.6add1*/{T0* b1=((T0*)ms13_1053);
r72put((T72*)(oBC78memory),b1,b1);
}/*]*/
/*[IRF3.6add1*/{T0* b1=((T0*)ms13_2515);
r72put((T72*)(oBC78memory),b1,b1);
}/*]*/
/*[IRF3.6add1*/{T0* b1=((T0*)ms13_2520);
r72put((T72*)(oBC78memory),b1,b1);
}/*]*/
/*[IRF3.6add1*/{T0* b1=((T0*)ms13_32955);
r72put((T72*)(oBC78memory),b1,b1);
}/*]*/
/*[IRF3.6add1*/{T0* b1=((T0*)ms13_12879);
r72put((T72*)(oBC78memory),b1,b1);
}/*]*/
/*[IRF3.6add1*/{T0* b1=((T0*)ms13_13797);
r72put((T72*)(oBC78memory),b1,b1);
}/*]*/
/*[IRF3.6add1*/{T0* b1=((T0*)ms13_8652);
r72put((T72*)(oBC78memory),b1,b1);
}/*]*/
/*[IRF3.6add1*/{T0* b1=((T0*)ms13_8610);
r72put((T72*)(oBC78memory),b1,b1);
}/*]*/
/*[IRF3.6add1*/{T0* b1=((T0*)ms13_9541);
r72put((T72*)(oBC78memory),b1,b1);
}/*]*/
/*[IRF3.6add1*/{T0* b1=((T0*)ms13_14328);
r72put((T72*)(oBC78memory),b1,b1);
}/*]*/
/*[IRF3.6add1*/{T0* b1=((T0*)ms13_13050a);
r72put((T72*)(oBC78memory),b1,b1);
}/*]*/
/*[IRF3.6add1*/{T0* b1=((T0*)ms13_13050);
r72put((T72*)(oBC78memory),b1,b1);
}/*]*/
/*[IRF3.6add1*/{T0* b1=((T0*)ms13_34768);
r72put((T72*)(oBC78memory),b1,b1);
}/*]*/
/*[IRF3.6add1*/{T0* b1=((T0*)ms13_13887);
r72put((T72*)(oBC78memory),b1,b1);
}/*]*/
/*[IRF3.6add1*/{T0* b1=((T0*)ms13_11456);
r72put((T72*)(oBC78memory),b1,b1);
}/*]*/
/*[IRF3.6add1*/{T0* b1=((T0*)ms13_26351);
r72put((T72*)(oBC78memory),b1,b1);
}/*]*/
/*[IRF3.6add1*/{T0* b1=((T0*)ms13_11496);
r72put((T72*)(oBC78memory),b1,b1);
}/*]*/
/*[IRF3.6add1*/{T0* b1=((T0*)ms13_27790);
r72put((T72*)(oBC78memory),b1,b1);
}/*]*/
/*[IRF3.6add1*/{T0* b1=((T0*)ms13_34215);
r72put((T72*)(oBC78memory),b1,b1);
}/*]*/
/*[IRF3.6add1*/{T0* b1=((T0*)ms13_27638);
r72put((T72*)(oBC78memory),b1,b1);
}/*]*/
/*[IRF3.6add1*/{T0* b1=((T0*)ms13_40613);
r72put((T72*)(oBC78memory),b1,b1);
}/*]*/
/*[IRF3.6add1*/{T0* b1=((T0*)ms13_25779);
r72put((T72*)(oBC78memory),b1,b1);
}/*]*/
/*[IRF3.6add1*/{T0* b1=((T0*)ms13_7470);
r72put((T72*)(oBC78memory),b1,b1);
}/*]*/
/*[IRF3.6add1*/{T0* b1=((T0*)ms13_2805);
r72put((T72*)(oBC78memory),b1,b1);
}/*]*/
/*[IRF3.6add1*/{T0* b1=((T0*)ms13_7620);
r72put((T72*)(oBC78memory),b1,b1);
}/*]*/
/*[IRF3.6add1*/{T0* b1=((T0*)ms13_14112);
r72put((T72*)(oBC78memory),b1,b1);
}/*]*/
/*[IRF3.6add1*/{T0* b1=((T0*)ms13_14310);
r72put((T72*)(oBC78memory),b1,b1);
}/*]*/
/*[IRF3.6add1*/{T0* b1=((T0*)ms13_17120);
r72put((T72*)(oBC78memory),b1,b1);
}/*]*/
/*[IRF3.6add1*/{T0* b1=((T0*)ms13_8925);
r72put((T72*)(oBC78memory),b1,b1);
}/*]*/
/*[IRF3.6add1*/{T0* b1=((T0*)ms13_7416);
r72put((T72*)(oBC78memory),b1,b1);
}/*]*/
/*[IRF3.6add1*/{T0* b1=((T0*)ms13_22896);
r72put((T72*)(oBC78memory),b1,b1);
}/*]*/
/*[IRF3.6add1*/{T0* b1=((T0*)ms13_13113);
r72put((T72*)(oBC78memory),b1,b1);
}/*]*/
/*[IRF3.6add1*/{T0* b1=((T0*)ms13_16920);
r72put((T72*)(oBC78memory),b1,b1);
}/*]*/
/*[IRF3.6add1*/{T0* b1=((T0*)ms13_17000);
r72put((T72*)(oBC78memory),b1,b1);
}/*]*/
/*[IRF3.6add1*/{T0* b1=((T0*)ms13_9156);
r72put((T72*)(oBC78memory),b1,b1);
}/*]*/
/*[IRF3.6add1*/{T0* b1=((T0*)ms13_21480);
r72put((T72*)(oBC78memory),b1,b1);
}/*]*/
/*[IRF3.6add1*/{T0* b1=((T0*)ms13_57020);
r72put((T72*)(oBC78memory),b1,b1);
}/*]*/
/*[IRF3.6add1*/{T0* b1=((T0*)ms13_1840);
r72put((T72*)(oBC78memory),b1,b1);
}/*]*/
/*[IRF3.6add1*/{T0* b1=((T0*)ms13_2855);
r72put((T72*)(oBC78memory),b1,b1);
}/*]*/
/*[IRF3.6add1*/{T0* b1=((T0*)ms13_27651);
r72put((T72*)(oBC78memory),b1,b1);
}/*]*/
/*[IRF3.6add1*/{T0* b1=((T0*)ms13_15800);
r72put((T72*)(oBC78memory),b1,b1);
}/*]*/
/*[IRF3.6add1*/{T0* b1=((T0*)ms13_9380);
r72put((T72*)(oBC78memory),b1,b1);
}/*]*/
/*[IRF3.6add1*/{T0* b1=((T0*)ms13_58420);
r72put((T72*)(oBC78memory),b1,b1);
}/*]*/
/*[IRF3.6add1*/{T0* b1=((T0*)ms13_22320);
r72put((T72*)(oBC78memory),b1,b1);
}/*]*/
/*[IRF3.6add1*/{T0* b1=((T0*)ms13_13968);
r72put((T72*)(oBC78memory),b1,b1);
}/*]*/
/*[IRF3.6add1*/{T0* b1=((T0*)ms13_7404);
r72put((T72*)(oBC78memory),b1,b1);
}/*]*/
/*[IRF3.6add1*/{T0* b1=((T0*)ms13_1648);
r72put((T72*)(oBC78memory),b1,b1);
}/*]*/
}}
/*No:UNIQUE_STRING.us_conforms_to*/
/*No:UNIQUE_STRING.us_generating_type*/
/*No:UNIQUE_STRING.us_count*/
/*No:UNIQUE_STRING.us_exception*/
/*No:UNIQUE_STRING.us_sprintf_pointer*/
/*No:UNIQUE_STRING.us_double_bits*/
/*No:UNIQUE_STRING.us_make*/
/*No:UNIQUE_STRING.us_upper*/
/*No:UNIQUE_STRING.us_boolean_bits*/
/*No:UNIQUE_STRING.us_plus*/
/*No:UNIQUE_STRING.us_print_on*/
/*No:UNIQUE_STRING.us_to_real*/
/*No:UNIQUE_STRING.us_code*/
/*No:UNIQUE_STRING.us_feof*/
/*No:UNIQUE_STRING.us_is_basic_expanded_type*/
/*No:UNIQUE_STRING.us_boolean*/
/*No:UNIQUE_STRING.us_minimum_real*/
/*No:UNIQUE_STRING.us_to_character*/
/*No:UNIQUE_STRING.us_muls*/
/*No:UNIQUE_STRING.us_free*/
/*No:UNIQUE_STRING.us_or_else*/
/*No:UNIQUE_STRING.us_slash*/
/*No:UNIQUE_STRING.us_ge*/
/*No:UNIQUE_STRING.us_integer_bits*/
/*No:UNIQUE_STRING.us_none*/
/*No:UNIQUE_STRING.us_string*/
/*No:UNIQUE_STRING.us_element_sizeof*/
/*No:UNIQUE_STRING.us_print*/
/*No:UNIQUE_STRING.us_void*/
/*No:UNIQUE_STRING.us_le*/


T0* r78key_for_prefix_infix(T0* a1,T0* a2){
T0* R=NULL;
T3 _c=0;
T2 _i=0;
r7copy((T7*)(oBC78tmp_string),a1);
_i=1;
while (!((_i)>((((T7*)a2))->_count/*4*/))) {
_c=/*(IRF4.6item*/((((T7*)a2))->_storage/*0*/)[(_i)-(1)]/*)*/;
/*[IF*/
if(r3is_letter(_c)){
r7extend((T7*)(oBC78tmp_string),_c);
}
else{
r2append_in(((unsigned char)_c),oBC78tmp_string);
}
/*FI]*/
_i=(_i)+(1);
}
R=r78item(oBC78tmp_string);
return R;
}
/*No:UNIQUE_STRING.us_sprintf_double*/
/*No:UNIQUE_STRING.us_standard_twin*/
/*No:UNIQUE_STRING.us_storage*/
/*No:UNIQUE_STRING.us_at*/
/*No:UNIQUE_STRING.us_neq*/
/*No:UNIQUE_STRING.us_eq*/
/*No:UNIQUE_STRING.us_pointer_size*/
/*No:UNIQUE_STRING.us_blank*/
/*No:UNIQUE_STRING.us_se_argv*/
/*No:UNIQUE_STRING.us_io*/
/*No:UNIQUE_STRING.us_bit_n_ref*/
/*No:UNIQUE_STRING.us_trace_switch*/
/*No:UNIQUE_STRING.us_read_byte*/
/*No:UNIQUE_STRING.us_native_array_character*/
/*No:UNIQUE_STRING.us_gt*/
/*No:UNIQUE_STRING.us_truncated_to_integer*/
/*No:UNIQUE_STRING.us_se_remove*/
/*No:UNIQUE_STRING.us_se_rename*/
/*No:UNIQUE_STRING.us_lt*/
/*No:UNIQUE_STRING.us_std_file_write*/
/*No:UNIQUE_STRING.us_or*/
/*No:UNIQUE_STRING.us_bit*/
/*No:UNIQUE_STRING.us_std_input*/
/*No:UNIQUE_STRING.us_signal_number*/
/*No:UNIQUE_STRING.us_print_run_time_stack*/
/*No:UNIQUE_STRING.us_flush_stream*/
/*No:UNIQUE_STRING.us_to_integer*/
/*No:UNIQUE_STRING.us_to_pointer*/
/*No:UNIQUE_STRING.us_pointer_bits*/
T0*oBC78tmp_string=NULL;
/*No:UNIQUE_STRING.us_stderr*/
/*No:UNIQUE_STRING.us_calloc*/
/*No:UNIQUE_STRING.us_copy*/
/*No:UNIQUE_STRING.us_result*/
/*No:UNIQUE_STRING.us_is_not_void*/
/*No:UNIQUE_STRING.us_capacity*/


T0* r78for_prefix(T0* a1){
T0* R=NULL;
R=r78key_for_prefix_infix(((T0*)ms78_1700),a1);
return R;
}
/*No:UNIQUE_STRING.us_compile_to_c*/
/*No:UNIQUE_STRING.us_double_ref*/
/*No:UNIQUE_STRING.us_object_size*/
/*No:UNIQUE_STRING.us_xor*/
/*No:UNIQUE_STRING.us_like_current*/
/*No:UNIQUE_STRING.us_to_double*/
/*No:UNIQUE_STRING.us_clear_all*/
/*No:UNIQUE_STRING.us_shift_right*/
/*No:UNIQUE_STRING.us_exceptions*/
/*No:UNIQUE_STRING.us_not*/
/*No:UNIQUE_STRING.us_slash_slash*/
/*No:UNIQUE_STRING.us_array*/
/*No:UNIQUE_STRING.us_bit_n*/
/*No:UNIQUE_STRING.us_se_getenv*/
/*No:UNIQUE_STRING.us_eof_code*/
/*No:UNIQUE_STRING.add1*/
/*No:UNIQUE_STRING.us_c_inline_c*/


void r78add2(T0* a1){
/*[IF*/
if(((T66*)(oBC11eiffel_parser))->_case_insensitive/*0*/){
r7to_lower(((T7*)a1));
}
/*FI]*/
/*[IRF3.6add1*/{T0* b1=a1;
r72put((T72*)(oBC78memory),b1,b1);
}/*]*/
}
/*No:UNIQUE_STRING.us_malloc*/
/*No:UNIQUE_STRING.us_dictionary*/
/*No:UNIQUE_STRING.us_fixed_array*/
/*No:UNIQUE_STRING.us_character*/
/*No:UNIQUE_STRING.us_put*/
/*No:UNIQUE_STRING.us_to_bit*/
/*No:UNIQUE_STRING.us_generator*/
/*No:UNIQUE_STRING.us_backslash_backslash*/
/*No:UNIQUE_STRING.us_maximum_integer*/
/*No:UNIQUE_STRING.us_put_0*/
/*No:UNIQUE_STRING.us_stdout*/
/*No:UNIQUE_STRING.us_write_byte*/
/*No:UNIQUE_STRING.us_c_inline_h*/
/*No:UNIQUE_STRING.us_any*/
/*No:UNIQUE_STRING.us_real*/
/*No:UNIQUE_STRING.us_and*/
/*No:UNIQUE_STRING.us_bitn*/
T0*oBC11eiffel_parser=NULL;
/*No:UNIQUE_STRING.us_pow*/