pub fn cc1(atoms: &[SAtom]) -> &SAtom