Add special case for handling C built-in type __va_list_tag