/* v30 debugger */