public link bit OS_EventFlag = driver.OS_EventFlag;
public link bit BlueKeyPress = driver.key0_press;
public link bit GreenKeyPress = driver.key1_press;
public link bit YellowKeyPress = driver.key2_press;
public link bit key0_notpress = driver.key0_notpress;
public link bit key1_notpress = driver.key1_notpress;
public link bit key2_notpress = driver.key2_notpress;
public link bit OS_time = driver.OS_time;
public link void OS_init(){} = driver.OS_init;
public link void OS_run(){} = driver.OS_run;
