modified:   common/util.h