public link unit led0 {} = driver.led0;
public link unit digital0 {} = driver.digital0;
public link void OS_init(){} = driver.OS_init;
public link void Open(){} = driver.open;
public link void Close(){} = driver.close;
public link void swap(){} = driver.swap;
