Re: [NTG-context] Elided page numbers in registers