mentioning that `ht-map` differs from `maphash`