public const int32 最大元素数目 = 0;
driver.Number = 最大元素数目;
public link bit 当前元素数目 = driver.CurrentIndex;
public link void OS_init(){} = driver.OS_init;
public link void 清空(){} = driver.clear;
public link void 添加数据_(bit n1){} = driver.add_data;
public link void 读取第_个数据(bit n1){} = driver.get_data;
