A Vax 8250 (ASI for IFCTR, 1990)