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 DelayMillisecond(bit n1){} = driver.DelayMillisecond;
public link void DelaySecond(bit n1){} = driver.DelaySecond;
public link void DelayMinute(bit n1){} = driver.DelayMinute;
public link void DelayHour(bit n1){} = driver.DelayHour;
public link void DelayDay(bit n1){} = driver.DelayDay;
public link void Stop(){} = driver.Stop;
public link bit EnableSchedule = driver.EnableSchedule;
