What Makes a PDP-11/35 or 40 Tick?