void GC_init__Fv(void) { GC_init(); }
int KSexecuteString__FPc(char *s) { return KSexecuteString(s); }
void KSstart__Fv(void) { KSstart(); }