baiji
baiji/util
