public link bit OS_time = driver.OS_time;
public const int32 Speed = 0;
driver.speed = Speed;
public link void OS_init(){} = driver.OS_init;
public link void OS_run(){} = driver.OS_run;
public link void SetSpeed(bit n1){} = driver.set_speed;
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;
public link void ShortStop(){} = driver.short_stop;
public link void Running(){} = driver.Running;
public link void Stoped(){} = driver.Stoped;
public link void PowerOn(){} = driver.power_on;
public link void PowerOff(){} = driver.power_off;
public link void AccelOn(){} = driver.accel_on;
public link void AccelOff(){} = driver.accel_off;
