public link bit OS_time = driver.OS_time;
public const int32 ʱ = 0;
driver.Time = ʱ;
public link void OS_init(){} = driver.OS_init;
public link void OS_run(){} = driver.OS_run;
public link void ת(){} = driver.run_right;
public link void ת(){} = driver.run_left;
public link void ת_(bit n1){} = driver.run_right_t;
public link void ת_(bit n1){} = driver.run_left_t;
public link void ֹͣ(){} = driver.stop;
