Symbol: EXECUTE_HARD_RESET