K 10 svn:author V 6 gerald K 8 svn:date V 27 2012-07-29T18:59:43.981429Z K 7 svn:log V 83 Include the expansion of the term HAL in HAL_DESC; it also describes what this is. END