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