public link void OS_init(){} = driver.OS_init;
public link void OS_thread(){} = driver.OS_thread;
public link unit reader0 {} = driver.reader0;
public const int16 󳤶 = 0;
driver.max_length = 󳤶;
public const int32  = 0;
driver.baud = ;
public link bit OS_EventFlag = driver.OS_EventFlag;
public link void òΪ_(bit n1){} = driver.set_baud;
public link void ȡһ(){} = driver.get_data;
public link void Ч(){} = driver.is_ready;
public link void ͻз(){} = driver.print_return;
public link void ַ_(bit n1){} = driver.print_char;
public link void ַ_(bit n1){} = driver.print_string;
public link void ַʽ_(bit n1){} = driver.print_number;
