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