Re: [crux64] [crux-devel] 64-bit test run