Use the correct type for va_list