public link bit OS_time = driver.OS_time;
public const int32 Time = 0;
driver.Time = Time;
public link void OS_init(){} = driver.OS_init;
public link void OS_run(){} = driver.OS_run;
public link void RunRight(){} = driver.run_right;
public link void RunLeft(){} = driver.run_left;
public link void RunRightT(){} = driver.run_right_t;
public link void RunLeftT(){} = driver.run_left_t;
public link void Stop(){} = driver.stop;
