modified:   src/util.c