/* {CONSOLE}.console_pc */ void F1205_17287 (EIF_REFERENCE Current, EIF_POINTER arg1, EIF_CHARACTER_8 arg2) { GTCX console_pc((FILE*) arg1, (EIF_CHARACTER) arg2); }
/* {CONSOLE}.put_character */ void F1205_17265 (EIF_REFERENCE Current, EIF_CHARACTER_8 arg1) { GTCX EIF_POINTER tp1; tp1 = *(EIF_POINTER *)(Current+ _PTROFF_3_7_2_4_1_0_); console_pc((FILE*) tp1, (EIF_CHARACTER) arg1); }
void console_tnwl(FILE* f) { #ifdef EIF_WINDOWS eif_show_console(); #endif console_pc(f,'\n'); }