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 Clear(){} = driver.clear;
public link void ClearLine(bit n1){} = driver.clear_line;
public link void print_char(bit n1,bit n2){} = driver.print_char;
public link void ShowPoint(bit n1){} = driver.show_point;
public link void HidePoint(bit n1){} = driver.hide_point;
public link void ClearPoint(){} = driver.clear_point;
