Move stdarg.h to util.h