Re: [Clc-crux64] CRUX64 - gcc-4.0.2