struct_libnormalform_representation_spec.3