debugging the mark phase