Title: CPU Timing Routines for a CONVEX C220 Computer System