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