mercury/util
