struct_libnormalform_atom_comparison.3