repairing a dead PDP-11/35