Marking the concurrent debugger a tool demo