dependent upon util.ml