Title: VAX-11 digital standard runoff (DSR) user's guide