public link unit digital0 {}
driver.digital0 = digital0;
public link bit OS_time = driver.OS_time;
public const int32 HighTime = 0;
driver.high_time = HighTime;
public const int32 AllTime = 0;
driver.all_time = AllTime;
public link unit digital1 {} = driver.digital1;
public link void OS_init(){} = driver.OS_init;
public link void OS_run(){} = driver.OS_run;
public link void Stop(){} = driver.stop;
public link void FlashTimes(bit n1){} = driver.flash_times;
public link void Flash(){} = driver.flash;
public link void IsOK(){} = driver.is_ok;
