lint-time debug and reminder using lintpragma
New lintpragma section