[sr-dev] git:master:df48b373: topos_htable: Initial commit