modified:   ../src/util.c