K 10 svn:author V 3 bde K 8 svn:date V 27 1995-12-10T02:53:07.000000Z K 7 svn:log V 52 Moved vm includes out of centralized headers again. END