SAVECTXT_F_ONFAULT
SAVECTXT_F_ONFAULT);
SAVECTXT_F_ONFAULT);
VERIFY0(flags & ~(SAVECTXT_F_EXTD | SAVECTXT_F_ONFAULT));
if ((flags & SAVECTXT_F_ONFAULT) != 0) {
if ((flags & SAVECTXT_F_ONFAULT) != 0) {