Re: [Clc-crux64] CRUX64(-danm) and CLC