public link bit OS_EventFlag = driver.OS_EventFlag;
public link void OS_init(){} = driver.OS_init;
public link void OS_thread(){} = driver.OS_thread;
