public const int32 最大元素数目 = 0;
driver.Number = 最大元素数目;
public link void OS_init(){} = driver.OS_init;
public link void 设置第_个数据为_(bit n1,bit n3){} = driver.set_data;
public link void 第_个数据(bit n1){} = driver.get_data;
