[Tru64] 32-bit pointers available with
-xtaso_short
.