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