K 10 svn:author V 3 phk K 8 svn:date V 27 1997-04-20T06:41:26.000000Z K 7 svn:log V 66 Fix up the "hlt vector" change I made. Reviewed by: bde, bde, bde END