1 /* This file exists because "util.h" is such a generic name that it is 2 likely to clash with other such files. */ 3 #include "util.h" 4