Symbol: PUSH_FAILURE_POINT