struct_libnormalform_transformer.3