Added @jaymelbe's example and reduced code for stuck-at-markNeeded problem.