pub const isc_formatted_exception: u32 = 335545016;