32-bit pointers available with
-xtaso_short
.