pub const OpFormatBool_: WSDXML_OP;