debugging the mark phase code