pub const frrvErrDoubleFault: EFaultRepRetVal;