An interactive debugger for a concurrent language