pub const FAULT_INVALID_ARG: u32 = 402u32;