32 ビット・ポインタは,
-xtaso_short
で利用可能。