pub const frrvErrDoubleFault: EFaultRepRetVal = 10i32;