Re: [clc-devel] CRUX mascot?