Added stdarg.h for printf support