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;
