void OSInit(void);
void OSStart(void);
void OSSchedLock(void);
void OSSchedUnlock(void);
void OSStatInit(void);
INT16U OSVersion(void);
INT8U OSEventNameGet(OS_EVENT *pevent, INT8U *pname, INT8U *perr);
void OSEventNameSet(OS_EVENT *pevent, INT8U *pname, INT8U *perr);