UCT debug_after: Extra printouts