debugging the marking phase