public link void OS_init(){} = driver.OS_init;
public link void ʶϢ_(bit n1){} = driver.print_string;
