pub const OpFormatDouble_: WSDXML_OP = 42i32;