Use correct type for va_list