Symbol: FAULT_CURRNEXT