public link bit OS_EventFlag = driver.OS_EventFlag;
public link bit OS_time = driver.OS_time;
public link bit isOK = driver.isOK;
public link void OS_init(){} = driver.OS_init;
public link void OS_run(){} = driver.OS_run;
public link void OS_thread(){} = driver.OS_thread;
public link void Pause(){} = driver.Pause;
public link void Continue(){} = driver.Continue;
public link void XsRunTo(bit n1,bit n2,bit n3){} = driver.XsRunTo;
public link void XsRunFromTo(bit n1,bit n2,bit n3,bit n4){} = driver.XsRunFromTo;
public link void XsRunFromToTimes(bit n1,bit n2,bit n3,bit n4,bit n5){} = driver.XsRunFromToTimes;
public link void XsRunFromToForever(bit n1,bit n2,bit n3,bit n4){} = driver.XsRunFromToForever;
public link void XsRunBetweenTimes(bit n1,bit n2,bit n3,bit n4,bit n5){} = driver.XsRunBetweenTimes;
public link void XsRunBetweenForever(bit n1,bit n2,bit n3,bit n4){} = driver.XsRunBetweenForever;
public link void XchTimes(bit n1){} = driver.XchTimes;
public link void XchForever(){} = driver.XchForever;
