pub const isc_sysf_argviolates_uuidfmt: u32 = 335544949;