pub const NID_wap_wsg_idm_ecid_wtls5: u32 = 738;