Symbol: MARK_INT_FAIL