Time *ts4800__TimeInit0(Time *t,int inst) { return SystemTimeInit(&ts4800Time0); }
Time *None__TimeInit0(Time *t,int inst) { return SystemTimeInit(&NoneTime0); }