public link unit char {} = driver.char;
public link bit OS_time = driver.OS_time;
public link void OS_init(){} = driver.OS_init;
public link void OS_run(){} = driver.OS_run;
public link void OS_thread(){} = driver.OS_thread;
public link void 清空(){} = driver.clear;
public link void 清空第_行(bit n1){} = driver.clear_line;
public link void 第_行第_列显示字符_(bit n1,bit n3,bit n5){} = driver.write_char;
public link void 显示第_个小数点(bit n1){} = driver.show_point;
public link void 隐藏第_个小数点(bit n1){} = driver.hide_point;
public link void 隐藏全部小数点(){} = driver.clear_point;
