Hashset added from https://github.com/avsej/hashset.c