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