make checkdoc happier
adding `ht`, a macro for defining hash tables