public link bit OS_time = driver.OS_time;
public link void OS_init(){} = driver.OS_init;
public link void OS_run(){} = driver.OS_run;
public link void wenduz(){} = driver.wenduz;
public link void wendux(){} = driver.wendux;
public link void wendu(){} = driver.wendu;
public link void shiduz(){} = driver.shiduz;
public link void shidux(){} = driver.shidux;
public link void shidu(){} = driver.shidu;
