pub const DEFAULT_TABLE_SIZE: PosC<i32>;