ちなみに、GCCの出力するIA-64なバイナリは、恐ろしく遅い。