An erlang debugger