public const int32 Number = 0;
driver.Number = Number;
public link void OS_init(){} = driver.OS_init;
public link void set_data(bit n1,bit n2){} = driver.set_data;
public link void GetData(bit n1){} = driver.get_data;
