struct_libnormalform_variable.3