14.4.3 MarkingPhase