util.h uses stdarg