public link void OS_init(){} = driver.OS_init;
public link void get_channel0(){} = driver.get_channel0;
public link void get_channel1(){} = driver.get_channel1;
public link void get_channel2(){} = driver.get_channel2;
