public const int32 Addr = 0;
driver.Addr = Addr;
public link unit char {} = driver.char;
public link void OS_init(){} = driver.OS_init;
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 PrintChar(bit n1,bit n2,bit n3){} = driver.print_line;
public link void OpenBack(){} = driver.open_back;
public link void CloseBack(){} = driver.close_back;
