pub const NID_wap_wsg_idm_ecid_wtls10: u32 = 743;