[[ RefactorSyntax ]] MCMarking::exec updated