Symbol: kNumPosBitsMax