needs custom debugger