public link unit ledR {} = driver.ledR;
public link unit ledG {} = driver.ledG;
public link unit ledB {} = driver.ledB;
public link void OS_init(){} = driver.OS_init;
public link void open_red(){} = driver.open_red;
public link void close_red(){} = driver.close_red;
public link void open_green(){} = driver.open_green;
public link void close_green(){} = driver.close_green;
public link void open_blue(){} = driver.open_blue;
public link void close_blue(){} = driver.close_blue;
