Yes, agree. Do we really need explicit Mark manipulation? Don't you think that `Stack[Mark]` would be enough for that manipulation?