ValueStruct abs_(nodep);
ValueStruct cap_(nodep);
ValueStruct chr_(nodep);
ValueStruct dec_(nodep);
ValueStruct excl_(nodep);
ValueStruct float_(nodep);
ValueStruct halt_(nodep);
ValueStruct high_(nodep);
ValueStruct inc_(nodep);
ValueStruct incl_(nodep);
ValueStruct max_(nodep);
ValueStruct min_(nodep);
ValueStruct new_(nodep);
ValueStruct odd_(nodep);
ValueStruct ord_(nodep);
ValueStruct print_(nodep);
ValueStruct println_(nodep);
ValueStruct size_(nodep);
ValueStruct sqrt_(nodep);
ValueStruct trunc_(nodep);
ValueStruct val_(nodep);

TypeStruct Chk_abs_();
TypeStruct Chk_cap_();
TypeStruct Chk_chr_();
TypeStruct Chk_dec_();
TypeStruct Chk_excl_();
TypeStruct Chk_float_();
TypeStruct Chk_halt_();
TypeStruct Chk_high_();
TypeStruct Chk_inc_();
TypeStruct Chk_incl_();
TypeStruct Chk_max_();
TypeStruct Chk_min_();
TypeStruct Chk_new_();
TypeStruct Chk_odd_();
TypeStruct Chk_ord_();
TypeStruct Chk_print_();
TypeStruct Chk_size_();
TypeStruct Chk_sqrt_();
TypeStruct Chk_trunc_();
TypeStruct Chk_val_();

void GetStackInt();
void GetStackCard();
void GetStackString(char **);
void GetStackPointer(char **);
void InitGetTos();