Update hk.hpp