pub const NID_wap_wsg_idm_ecid_wtls10: i32 = 743;