/*
-- 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 "pretty.h"
/*No:ARRAY[E_REQUIRE].clear_all*/
/*No:ARRAY[E_REQUIRE].set_all_with*/
int r522empty(T522* C){
int R=0;
R=(r522count(C))==(0);
return R;
}
void r522make(T522* C,int a1,int a2){
int _needed=0;
C->_lower=a1;
C->_upper=a2;
_needed=((a2)-(a1))+(1);
/*IF*/if ((_needed)>(0)) {
/*IF*/if (((((T522*)C))->_capacity/*4*/)<(_needed)) {
/*IF*/if (((((T522*)C))->_capacity/*4*/)==(0)) {
C->_storage=calloc(_needed,sizeof(T0*));
}
else {
C->_storage=calloc(_needed,sizeof(T0*));
}
/*FI*/C->_capacity=_needed;
}
else {
/*[IRF3.6clear_all*/{T522* C1=C;
T0* __value=NULL;
/*[IRF3.6set_all_with*/{T522* C2=C1;
T0* c1=__value;
r884set_all_with((((T522*)C2))->_storage/*0*/,c1,((((T522*)C2))->_upper/*8*/)-((((T522*)C2))->_lower/*12*/));
}/*]*/
}/*]*/
}
/*FI*/}
/*FI*/}
int r522fast_has(T522* C,T0* a1){
int R=0;
/*IF*/if ((r522count(C))>(0)) {
R=(r522fast_index_of(C,a1))<=((((T522*)C))->_upper/*8*/);
}
/*FI*/return R;
}
T0* r522item(T522* C,int a1){
T0* R=NULL;
R=((((T522*)C))->_storage/*0*/)[(a1)-((((T522*)C))->_lower/*12*/)];
return R;
}
void r522clear(T522* C){
C->_upper=((((T522*)C))->_lower/*12*/)-(1);
}
/*No:ARRAY[E_REQUIRE].storage*/
/*No:ARRAY[E_REQUIRE].capacity*/
/*No:ARRAY[E_REQUIRE].lower*/
int r522fast_index_of(T522* C,T0* a1){
int R=0;
R=((((T522*)C))->_lower/*12*/)+(r884fast_index_of((((T522*)C))->_storage/*0*/,a1,((((T522*)C))->_upper/*8*/)-((((T522*)C))->_lower/*12*/)));
return R;
}
/*No:ARRAY[E_REQUIRE].put*/
/*No:ARRAY[E_REQUIRE].upper*/
void r522add_last(T522* C,T0* a1){
int _new_capacity=0;
/*IF*/if (((((T522*)C))->_capacity/*4*/)<((r522count(C))+(1))) {
/*IF*/if (((((T522*)C))->_capacity/*4*/)==(0)) {
C->_capacity=16;
C->_storage=calloc((((T522*)C))->_capacity/*4*/,sizeof(T0*));
}
else {
_new_capacity=(2)*((((T522*)C))->_capacity/*4*/);
C->_storage=r884realloc((((T522*)C))->_storage/*0*/,(((T522*)C))->_capacity/*4*/,_new_capacity);
C->_capacity=_new_capacity;
}
/*FI*/}
/*FI*/C->_upper=((((T522*)C))->_upper/*8*/)+(1);
/*[IRF3.6put*/{T522* C1=C;
T0* b1=a1;
int b2=(((T522*)C))->_upper/*8*/;
((((T522*)C1))->_storage/*0*/)[(b2)-((((T522*)C1))->_lower/*12*/)]=(b1);
}/*]*/
}
int r522count(T522* C){
int R=0;
R=(((((T522*)C))->_upper/*8*/)-((((T522*)C))->_lower/*12*/))+(1);
return R;
}
T0* r552item(T552* C,int a1){
T0* R=NULL;
R=((((T552*)C))->_storage/*0*/)[(a1)-((((T552*)C))->_lower/*12*/)];
return R;
}
/*No:ARRAY[RENAME_PAIR].storage*/
/*No:ARRAY[RENAME_PAIR].capacity*/
/*No:ARRAY[RENAME_PAIR].lower*/
/*No:ARRAY[RENAME_PAIR].put*/
/*No:ARRAY[RENAME_PAIR].upper*/
int r552count(T552* C){
int R=0;
R=(((((T552*)C))->_upper/*8*/)-((((T552*)C))->_lower/*12*/))+(1);
return R;
}
void r552add_last(T552* C,T0* a1){
int _new_capacity=0;
/*IF*/if (((((T552*)C))->_capacity/*4*/)<((r552count(C))+(1))) {
/*IF*/if (((((T552*)C))->_capacity/*4*/)==(0)) {
C->_capacity=16;
C->_storage=calloc((((T552*)C))->_capacity/*4*/,sizeof(T0*));
}
else {
_new_capacity=(2)*((((T552*)C))->_capacity/*4*/);
C->_storage=r949realloc((((T552*)C))->_storage/*0*/,(((T552*)C))->_capacity/*4*/,_new_capacity);
C->_capacity=_new_capacity;
}
/*FI*/}
/*FI*/C->_upper=((((T552*)C))->_upper/*8*/)+(1);
/*[IRF3.6put*/{T552* C1=C;
T0* b1=a1;
int b2=(((T552*)C))->_upper/*8*/;
((((T552*)C1))->_storage/*0*/)[(b2)-((((T552*)C1))->_lower/*12*/)]=(b1);
}/*]*/
}
/*No:FIXED_ARRAY[E_FEATURE].item*/
/*No:FIXED_ARRAY[E_FEATURE].clear*/
/*No:FIXED_ARRAY[E_FEATURE].storage*/
T0* r352twin(T352* C){
T0* R=NULL;
R=malloc(sizeof(*C));
*((T352*)R)=M352;
r352copy(((T352*)R),((T0*)C));
return R;
}
/*No:FIXED_ARRAY[E_FEATURE].capacity*/
void r352copy(T352* C,T0* a1){
int _new_capacity=0;
int _other_upper=0;
_other_upper=(((T352*)((T352*)a1)))->_upper/*8*/;
/*IF*/if ((_other_upper)>=(0)) {
_new_capacity=(_other_upper)+(1);
/*IF*/if (((((T352*)C))->_capacity/*4*/)<(_new_capacity)) {
C->_capacity=_new_capacity;
C->_storage=calloc(_new_capacity,sizeof(T0*));
}
 else if (((((T352*)C))->_capacity/*4*/)>(0)) {
r822clear_all((((T352*)C))->_storage/*0*/,((((T352*)C))->_capacity/*4*/)-(1));
}
/*FI*/r822copy_from((((T352*)C))->_storage/*0*/,(((T352*)((T352*)a1)))->_storage/*0*/,_other_upper);
}
 else if (((((T352*)C))->_capacity/*4*/)>(0)) {
r822clear_all((((T352*)C))->_storage/*0*/,((((T352*)C))->_capacity/*4*/)-(1));
}
/*FI*/C->_upper=_other_upper;
}
void r352with_capacity(T352* C,int a1){
/*IF*/if (((((T352*)C))->_capacity/*4*/)<(a1)) {
C->_storage=calloc(a1,sizeof(T0*));
C->_capacity=a1;
}
/*FI*/C->_upper=-(1);
}
/*No:FIXED_ARRAY[E_FEATURE].put*/
/*No:FIXED_ARRAY[E_FEATURE].upper*/
void r352add_last(T352* C,T0* a1){
int _new_capacity=0;
/*IF*/if ((((((T352*)C))->_upper/*8*/)+(1))<=(((((T352*)C))->_capacity/*4*/)-(1))) {
C->_upper=((((T352*)C))->_upper/*8*/)+(1);
}
 else if (((((T352*)C))->_capacity/*4*/)==(0)) {
C->_storage=calloc(2,sizeof(T0*));
C->_capacity=2;
C->_upper=0;
}
else {
_new_capacity=(2)*((((T352*)C))->_capacity/*4*/);
C->_storage=r822realloc((((T352*)C))->_storage/*0*/,(((T352*)C))->_capacity/*4*/,_new_capacity);
C->_capacity=_new_capacity;
C->_upper=((((T352*)C))->_upper/*8*/)+(1);
}
/*FI*//*[IRF3.5put*/((((T352*)C))->_storage/*0*/)[(((T352*)C))->_upper/*8*/]=(a1);
/*]*/
}
T0* r848item(T848* C,int a1){
T0* R=NULL;
R=((((T848*)C))->_storage/*0*/)[(a1)-((((T848*)C))->_lower/*12*/)];
return R;
}
/*No:ARRAY[INDEX_CLAUSE].storage*/
/*No:ARRAY[INDEX_CLAUSE].capacity*/
/*No:ARRAY[INDEX_CLAUSE].lower*/
/*No:ARRAY[INDEX_CLAUSE].put*/
/*No:ARRAY[INDEX_CLAUSE].upper*/
int r848count(T848* C){
int R=0;
R=(((((T848*)C))->_upper/*8*/)-((((T848*)C))->_lower/*12*/))+(1);
return R;
}
void r848add_last(T848* C,T0* a1){
int _new_capacity=0;
/*IF*/if (((((T848*)C))->_capacity/*4*/)<((r848count(C))+(1))) {
/*IF*/if (((((T848*)C))->_capacity/*4*/)==(0)) {
C->_capacity=16;
C->_storage=calloc((((T848*)C))->_capacity/*4*/,sizeof(T0*));
}
else {
_new_capacity=(2)*((((T848*)C))->_capacity/*4*/);
C->_storage=r100realloc((((T848*)C))->_storage/*0*/,(((T848*)C))->_capacity/*4*/,_new_capacity);
C->_capacity=_new_capacity;
}
/*FI*/}
/*FI*/C->_upper=((((T848*)C))->_upper/*8*/)+(1);
/*[IRF3.6put*/{T848* C1=C;
T0* b1=a1;
int b2=(((T848*)C))->_upper/*8*/;
((((T848*)C1))->_storage/*0*/)[(b2)-((((T848*)C1))->_lower/*12*/)]=(b1);
}/*]*/
}
T0* r38item(T38* C,int a1){
T0* R=NULL;
R=((((T38*)C))->_storage/*0*/)[(a1)-((((T38*)C))->_lower/*12*/)];
return R;
}
void r38clear(T38* C){
C->_upper=((((T38*)C))->_lower/*12*/)-(1);
}
/*No:ARRAY[POSITION].storage*/
/*No:ARRAY[POSITION].capacity*/
int r38has(T38* C,T0* a1){
int R=0;
/*IF*/if ((r38count(C))>(0)) {
R=(r38index_of(C,a1))<=((((T38*)C))->_upper/*8*/);
}
/*FI*/return R;
}
/*No:ARRAY[POSITION].lower*/
void r38with_capacity(T38* C,int a1,int a2){
/*IF*/if (((((T38*)C))->_capacity/*4*/)<(a1)) {
C->_storage=calloc(a1,sizeof(T0*));
C->_capacity=a1;
}
/*FI*/C->_lower=a2;
C->_upper=(a2)-(1);
}
/*No:ARRAY[POSITION].put*/
/*No:ARRAY[POSITION].upper*/
void r38add_last(T38* C,T0* a1){
int _new_capacity=0;
/*IF*/if (((((T38*)C))->_capacity/*4*/)<((r38count(C))+(1))) {
/*IF*/if (((((T38*)C))->_capacity/*4*/)==(0)) {
C->_capacity=16;
C->_storage=calloc((((T38*)C))->_capacity/*4*/,sizeof(T0*));
}
else {
_new_capacity=(2)*((((T38*)C))->_capacity/*4*/);
C->_storage=r379realloc((((T38*)C))->_storage/*0*/,(((T38*)C))->_capacity/*4*/,_new_capacity);
C->_capacity=_new_capacity;
}
/*FI*/}
/*FI*/C->_upper=((((T38*)C))->_upper/*8*/)+(1);
/*[IRF3.6put*/{T38* C1=C;
T0* b1=a1;
int b2=(((T38*)C))->_upper/*8*/;
((((T38*)C1))->_storage/*0*/)[(b2)-((((T38*)C1))->_lower/*12*/)]=(b1);
}/*]*/
}
int r38count(T38* C){
int R=0;
R=(((((T38*)C))->_upper/*8*/)-((((T38*)C))->_lower/*12*/))+(1);
return R;
}
int r38index_of(T38* C,T0* a1){
int R=0;
R=((((T38*)C))->_lower/*12*/)+(r379index_of((((T38*)C))->_storage/*0*/,a1,((((T38*)C))->_upper/*8*/)-((((T38*)C))->_lower/*12*/)));
return R;
}
int r854empty(T854* C){
int R=0;
R=(/*(IRF4.6count*/((((T854*)C))->_upper/*8*/)+(1)/*)*/)==(0);
return R;
}
/*No:FIXED_ARRAY[PARENT].item*/
/*No:FIXED_ARRAY[PARENT].clear*/
/*No:FIXED_ARRAY[PARENT].storage*/
/*No:FIXED_ARRAY[PARENT].capacity*/
T0* r854last(T854* C){
T0* R=NULL;
R=/*(IRF4.6item*/((((T854*)C))->_storage/*0*/)[(((T854*)C))->_upper/*8*/]/*)*/;
return R;
}
void r854with_capacity(T854* C,int a1){
/*IF*/if (((((T854*)C))->_capacity/*4*/)<(a1)) {
C->_storage=calloc(a1,sizeof(T0*));
C->_capacity=a1;
}
/*FI*/C->_upper=-(1);
}
/*No:FIXED_ARRAY[PARENT].put*/
/*No:FIXED_ARRAY[PARENT].upper*/
void r854add_last(T854* C,T0* a1){
int _new_capacity=0;
/*IF*/if ((((((T854*)C))->_upper/*8*/)+(1))<=(((((T854*)C))->_capacity/*4*/)-(1))) {
C->_upper=((((T854*)C))->_upper/*8*/)+(1);
}
 else if (((((T854*)C))->_capacity/*4*/)==(0)) {
C->_storage=calloc(2,sizeof(T0*));
C->_capacity=2;
C->_upper=0;
}
else {
_new_capacity=(2)*((((T854*)C))->_capacity/*4*/);
C->_storage=r304realloc((((T854*)C))->_storage/*0*/,(((T854*)C))->_capacity/*4*/,_new_capacity);
C->_capacity=_new_capacity;
C->_upper=((((T854*)C))->_upper/*8*/)+(1);
}
/*FI*//*[IRF3.5put*/((((T854*)C))->_storage/*0*/)[(((T854*)C))->_upper/*8*/]=(a1);
/*]*/
}
/*No:FIXED_ARRAY[PARENT].count*/
void r854remove_last(T854* C){
C->_upper=((((T854*)C))->_upper/*8*/)-(1);
}
T0* r26item(T26* C,int a1){
T0* R=NULL;
R=((((T26*)C))->_storage/*0*/)[(a1)-((((T26*)C))->_lower/*12*/)];
return R;
}
/*No:ARRAY[PARENT].storage*/
/*No:ARRAY[PARENT].capacity*/
/*No:ARRAY[PARENT].lower*/
/*No:ARRAY[PARENT].put*/
/*No:ARRAY[PARENT].upper*/
int r26count(T26* C){
int R=0;
R=(((((T26*)C))->_upper/*8*/)-((((T26*)C))->_lower/*12*/))+(1);
return R;
}
void r26add_last(T26* C,T0* a1){
int _new_capacity=0;
/*IF*/if (((((T26*)C))->_capacity/*4*/)<((r26count(C))+(1))) {
/*IF*/if (((((T26*)C))->_capacity/*4*/)==(0)) {
C->_capacity=16;
C->_storage=calloc((((T26*)C))->_capacity/*4*/,sizeof(T0*));
}
else {
_new_capacity=(2)*((((T26*)C))->_capacity/*4*/);
C->_storage=r304realloc((((T26*)C))->_storage/*0*/,(((T26*)C))->_capacity/*4*/,_new_capacity);
C->_capacity=_new_capacity;
}
/*FI*/}
/*FI*/C->_upper=((((T26*)C))->_upper/*8*/)+(1);
/*[IRF3.6put*/{T26* C1=C;
T0* b1=a1;
int b2=(((T26*)C))->_upper/*8*/;
((((T26*)C1))->_storage/*0*/)[(b2)-((((T26*)C1))->_lower/*12*/)]=(b1);
}/*]*/
}
T0* r26first(T26* C){
T0* R=NULL;
R=r26item(C,(((T26*)C))->_lower/*12*/);
return R;
}
T0* r587item(T587* C,int a1){
T0* R=NULL;
R=((((T587*)C))->_storage/*0*/)[(a1)-((((T587*)C))->_lower/*12*/)];
return R;
}
/*No:ARRAY[EXPORT_ITEM].storage*/
/*No:ARRAY[EXPORT_ITEM].capacity*/
/*No:ARRAY[EXPORT_ITEM].lower*/
/*No:ARRAY[EXPORT_ITEM].put*/
/*No:ARRAY[EXPORT_ITEM].upper*/
int r587count(T587* C){
int R=0;
R=(((((T587*)C))->_upper/*8*/)-((((T587*)C))->_lower/*12*/))+(1);
return R;
}
void r587add_last(T587* C,T0* a1){
int _new_capacity=0;
/*IF*/if (((((T587*)C))->_capacity/*4*/)<((r587count(C))+(1))) {
/*IF*/if (((((T587*)C))->_capacity/*4*/)==(0)) {
C->_capacity=16;
C->_storage=calloc((((T587*)C))->_capacity/*4*/,sizeof(T0*));
}
else {
_new_capacity=(2)*((((T587*)C))->_capacity/*4*/);
C->_storage=r44realloc((((T587*)C))->_storage/*0*/,(((T587*)C))->_capacity/*4*/,_new_capacity);
C->_capacity=_new_capacity;
}
/*FI*/}
/*FI*/C->_upper=((((T587*)C))->_upper/*8*/)+(1);
/*[IRF3.6put*/{T587* C1=C;
T0* b1=a1;
int b2=(((T587*)C))->_upper/*8*/;
((((T587*)C1))->_storage/*0*/)[(b2)-((((T587*)C1))->_lower/*12*/)]=(b1);
}/*]*/
}
/*No:ARRAY[MANIFEST_STRING].clear_all*/
/*No:ARRAY[MANIFEST_STRING].set_all_with*/
void r381make(T381* C,int a1,int a2){
int _needed=0;
C->_lower=a1;
C->_upper=a2;
_needed=((a2)-(a1))+(1);
/*IF*/if ((_needed)>(0)) {
/*IF*/if (((((T381*)C))->_capacity/*8*/)<(_needed)) {
/*IF*/if (((((T381*)C))->_capacity/*8*/)==(0)) {
C->_storage=calloc(_needed,sizeof(T0*));
}
else {
C->_storage=calloc(_needed,sizeof(T0*));
}
/*FI*/C->_capacity=_needed;
}
else {
/*[IRF3.6clear_all*/{T381* C1=C;
T0* __value=NULL;
/*[IRF3.6set_all_with*/{T381* C2=C1;
T0* c1=__value;
r729set_all_with((((T381*)C2))->_storage/*4*/,c1,((((T381*)C2))->_upper/*12*/)-((((T381*)C2))->_lower/*16*/));
}/*]*/
}/*]*/
}
/*FI*/}
/*FI*/}
T0* r381item(T381* C,int a1){
T0* R=NULL;
R=((((T381*)C))->_storage/*4*/)[(a1)-((((T381*)C))->_lower/*16*/)];
return R;
}
/*No:ARRAY[MANIFEST_STRING].storage*/
T0* r381twin(T381* C){
T0* R=NULL;
R=malloc(sizeof(*C));
*((T381*)R)=M381;
r381copy(((T381*)R),((T0*)C));
return R;
}
/*No:ARRAY[MANIFEST_STRING].capacity*/
void r381copy(T381* C,T0* a1){
int _needed_capacity=0;
C->_lower=(((T381*)((T381*)a1)))->_lower/*16*/;
C->_upper=(((T381*)((T381*)a1)))->_upper/*12*/;
_needed_capacity=(((((T381*)C))->_upper/*12*/)-((((T381*)C))->_lower/*16*/))+(1);
/*IF*/if (((((T381*)C))->_capacity/*8*/)<(_needed_capacity)) {
C->_capacity=_needed_capacity;
C->_storage=calloc((((T381*)C))->_capacity/*8*/,sizeof(T0*));
}
/*FI*//*IF*/if ((_needed_capacity)>(0)) {
r729copy_from((((T381*)C))->_storage/*4*/,(((T381*)((T381*)a1)))->_storage/*4*/,(_needed_capacity)-(1));
}
/*FI*/}
/*No:ARRAY[MANIFEST_STRING].lower*/
/*No:ARRAY[MANIFEST_STRING].put*/
/*No:ARRAY[MANIFEST_STRING].upper*/
int r381count(T381* C){
int R=0;
R=(((((T381*)C))->_upper/*12*/)-((((T381*)C))->_lower/*16*/))+(1);
return R;
}
void r381add_last(T381* C,T0* a1){
int _new_capacity=0;
/*IF*/if (((((T381*)C))->_capacity/*8*/)<((r381count(C))+(1))) {
/*IF*/if (((((T381*)C))->_capacity/*8*/)==(0)) {
C->_capacity=16;
C->_storage=calloc((((T381*)C))->_capacity/*8*/,sizeof(T0*));
}
else {
_new_capacity=(2)*((((T381*)C))->_capacity/*8*/);
C->_storage=r729realloc((((T381*)C))->_storage/*4*/,(((T381*)C))->_capacity/*8*/,_new_capacity);
C->_capacity=_new_capacity;
}
/*FI*/}
/*FI*/C->_upper=((((T381*)C))->_upper/*12*/)+(1);
/*[IRF3.6put*/{T381* C1=C;
T0* b1=a1;
int b2=(((T381*)C))->_upper/*12*/;
((((T381*)C1))->_storage/*4*/)[(b2)-((((T381*)C1))->_lower/*16*/)]=(b1);
}/*]*/
}
T0* r381first(T381* C){
T0* R=NULL;
R=r381item(C,(((T381*)C))->_lower/*16*/);
return R;
}
/*No:ARRAY[FEATURE_NAME].clear_all*/
/*No:ARRAY[FEATURE_NAME].set_all_with*/
void r855make(T855* C,int a1,int a2){
int _needed=0;
C->_lower=a1;
C->_upper=a2;
_needed=((a2)-(a1))+(1);
/*IF*/if ((_needed)>(0)) {
/*IF*/if (((((T855*)C))->_capacity/*4*/)<(_needed)) {
/*IF*/if (((((T855*)C))->_capacity/*4*/)==(0)) {
C->_storage=calloc(_needed,sizeof(T0*));
}
else {
C->_storage=calloc(_needed,sizeof(T0*));
}
/*FI*/C->_capacity=_needed;
}
else {
/*[IRF3.6clear_all*/{T855* C1=C;
T0* __value=NULL;
/*[IRF3.6set_all_with*/{T855* C2=C1;
T0* c1=__value;
r175set_all_with((((T855*)C2))->_storage/*0*/,c1,((((T855*)C2))->_upper/*8*/)-((((T855*)C2))->_lower/*12*/));
}/*]*/
}/*]*/
}
/*FI*/}
/*FI*/}
T0* r855item(T855* C,int a1){
T0* R=NULL;
R=((((T855*)C))->_storage/*0*/)[(a1)-((((T855*)C))->_lower/*12*/)];
return R;
}
void r855clear(T855* C){
C->_upper=((((T855*)C))->_lower/*12*/)-(1);
}
/*No:ARRAY[FEATURE_NAME].storage*/
T0* r855twin(T855* C){
T0* R=NULL;
R=malloc(sizeof(*C));
*((T855*)R)=M855;
r855copy(((T855*)R),((T0*)C));
return R;
}
/*No:ARRAY[FEATURE_NAME].capacity*/
void r855copy(T855* C,T0* a1){
int _needed_capacity=0;
C->_lower=(((T855*)((T855*)a1)))->_lower/*12*/;
C->_upper=(((T855*)((T855*)a1)))->_upper/*8*/;
_needed_capacity=(((((T855*)C))->_upper/*8*/)-((((T855*)C))->_lower/*12*/))+(1);
/*IF*/if (((((T855*)C))->_capacity/*4*/)<(_needed_capacity)) {
C->_capacity=_needed_capacity;
C->_storage=calloc((((T855*)C))->_capacity/*4*/,sizeof(T0*));
}
/*FI*//*IF*/if ((_needed_capacity)>(0)) {
r175copy_from((((T855*)C))->_storage/*0*/,(((T855*)((T855*)a1)))->_storage/*0*/,(_needed_capacity)-(1));
}
/*FI*/}
/*No:ARRAY[FEATURE_NAME].lower*/
/*No:ARRAY[FEATURE_NAME].put*/
/*No:ARRAY[FEATURE_NAME].upper*/
int r855count(T855* C){
int R=0;
R=(((((T855*)C))->_upper/*8*/)-((((T855*)C))->_lower/*12*/))+(1);
return R;
}
void r855add_last(T855* C,T0* a1){
int _new_capacity=0;
/*IF*/if (((((T855*)C))->_capacity/*4*/)<((r855count(C))+(1))) {
/*IF*/if (((((T855*)C))->_capacity/*4*/)==(0)) {
C->_capacity=16;
C->_storage=calloc((((T855*)C))->_capacity/*4*/,sizeof(T0*));
}
else {
_new_capacity=(2)*((((T855*)C))->_capacity/*4*/);
C->_storage=r175realloc((((T855*)C))->_storage/*0*/,(((T855*)C))->_capacity/*4*/,_new_capacity);
C->_capacity=_new_capacity;
}
/*FI*/}
/*FI*/C->_upper=((((T855*)C))->_upper/*8*/)+(1);
/*[IRF3.6put*/{T855* C1=C;
T0* b1=a1;
int b2=(((T855*)C))->_upper/*8*/;
((((T855*)C1))->_storage/*0*/)[(b2)-((((T855*)C1))->_lower/*12*/)]=(b1);
}/*]*/
}
T0* r855first(T855* C){
T0* R=NULL;
R=r855item(C,(((T855*)C))->_lower/*12*/);
return R;
}