public link unit char {}
driver.char = char;
public link void OS_init(){} = driver.OS_init;
public link void (){} = driver.clear;
public link void յ_(bit n1){} = driver.clear_line;
public link void ڵ_е_ʾϢ_(bit n1,bit n3,bit n5){} = driver.show_text;
public link void ڵ_е_ǰʾϢ_(bit n1,bit n3,bit n5){} = driver.show_text_f;
public link void ڵ_е_ǰʾ_(bit n1,bit n3,bit n5){} = driver.show_number_ff;
public link void ڵ_е_ʾ_(bit n1,bit n3,bit n5){} = driver.show_number_f;
public link void ڵ_е_ʾ_(bit n1,bit n3,bit n5){} = driver.show_number;
public link void ַ_ֲ뵽_λ(bit n1,bit n3){} = driver.set_format;
public link void ȡλ(){} = driver.clear_format;
