public link void OS_init(){} = driver.OS_init;
public link void Write(bit n1,bit n2){} = driver.write;
