Update wht_util.h