System *ts4800__SystemInit0(System *s,int inst) { return LocalSystemInit(&ts4800sys); }
void *None__SystemInit0(void *s,int inst) { return LocalSystemInit(&Nonesys); }
System *ts4800__SystemInit0(System *s,int inst) { return LocalSystemInit(&ts4800sys); }
void *None__SystemInit0(void *s,int inst) { return LocalSystemInit(&Nonesys); }