PDP-10 (Model KA10) with Debugger