[Clc-crux64] blah32, blah64