questions about KIM-1, microVAX-1, and Tektronix 4319