MicroVAX II or PDP 11?