public link bit OS_EventFlag = driver.OS_EventFlag;
public link bit OS_time = driver.OS_time;
public const int32 Time = 0;
driver.Time = Time;
public link bit v_Time = driver.v_Time;
public link bit isRun = driver.isRun;
public link void OS_init(){} = driver.OS_init;
public link void OS_run(){} = driver.OS_run;
public link void Stop(){} = driver.Stop;
public link void Start(){} = driver.Start;
public link void Clear(){} = driver.Clear;
public link void SetTime(bit n1){} = driver.set_time;
public link void ReloadTime(){} = driver.reload_time;
