util.cc: improve code coverage.