Update rank_unrank.h