public link bit OS_time = driver.OS_time;
public link bit OS_EventFlag = driver.OS_EventFlag;
public link void OS_thread(){} = driver.OS_thread;
public link unit reader0 {} = driver.reader0;
public const int16 MaxLength = 0;
driver.max_length = MaxLength;
public const int32 Baud = 0;
driver.baud = Baud;
public link void SetBaud(bit n1){} = driver.set_baud;
public link void GetData(){} = driver.get_data;
public link void IsReady(){} = driver.is_ready;
public link void PrintChar(bit n1){} = driver.print_char;
public link void print_string(bit n1){} = driver.print_string;
public link void print_number(bit n1){} = driver.print_number;
public link void OS_init(){} = driver.OS_init;
public link void OS_run100us(){} = driver.OS_run100us;
public link void OS_run(){} = driver.OS_run;
public link void OS_ClearWatchDog(){} = driver.OS_ClearWatchDog;
public link void M1Left(){} = driver.M1Left;
public link void M1Right(){} = driver.M1Right;
public link void M1Stop(){} = driver.M1Stop;
public link void M2Left(){} = driver.M2Left;
public link void M2Right(){} = driver.M2Right;
public link void M2Stop(){} = driver.M2Stop;
public link void LightOpen(){} = driver.LightOpen;
public link void LightClose(){} = driver.LightClose;
public link void LightSwap(){} = driver.LightSwap;
public link void LightFlashTimes(bit n1){} = driver.LightFlashTimes;
public link void LightFlash(){} = driver.LightFlash;
