public const int32 Baud = 0;
driver.baud = Baud;
public link void OS_init(){} = driver.OS_init;
public link void SetBaud(bit n1){} = driver.set_baud;
public link void print_string(bit n1){} = driver.print_string;
public link void print_number(bit n1){} = driver.print_number;
public link void PrintChar(bit n1){} = driver.print_char;
public link void get_byte(){} = driver.get_byte;
