Richard Sandiford <rsandifo@redhat.com> writes: > X must be of the form 0x7fff_ffff_ffff_8???, which is an invalid Grr. Of course, I meant 0x7fff_ffff_ffff_zzzz where zzzz >= 0x8000.