public const int32 N = 0;
driver.N = N;
public link void setR__(bit n1,bit n2){} = driver.setR;
public link void setG__(bit n1,bit n2){} = driver.setG;
public link void setB__(bit n1,bit n2){} = driver.setB;
public link void getR_(bit n1){} = driver.getR;
public link void getG_(bit n1){} = driver.getG;
public link void getB_(bit n1){} = driver.getB;
public link void OS_init(){} = driver.OS_init;
public link void OS_thread(){} = driver.OS_thread;
