High-level comments shouldn't describe implementation.  If someone changes gmhall.kod in the future, this comment will be wrong.