modified:   ../common/util.h