public link bit OS_time = driver.OS_time;
public link bit OS_EventFlag = driver.OS_EventFlag;
public const int32 PWM = 0;
driver.TT = PWM;
public link void OS_init(){} = driver.OS_init;
public link void OS_thread(){} = driver.OS_thread;
public link void OS_run(){} = driver.OS_run;
public link void OS_ClearWatchDog(){} = driver.OS_ClearWatchDog;
public link void ö0ǶΪ_(bit n1){} = driver.set_servo0;
public link void ö1ǶΪ_(bit n1){} = driver.set_servo1;
public link void ö14ǶΪ_(bit n1){} = driver.set_servo14;
public link void ö15ǶΪ_(bit n1){} = driver.set_servo15;
public link void ָʾƵ(){} = driver.LightOpen;
public link void ָʾϨ(){} = driver.LightClose;
public link void ָʾƷת(){} = driver.LightSwap;
public link void ָʾ˸_(bit n1){} = driver.LightFlashTimes;
public link void ָʾ˸(){} = driver.LightFlash;
public link void PWMΪ_(bit n1){} = driver.set_t;
