Use the correct type for va_list  asd