let atom_of (a, _) = a