factor out CtbAddr increment