Assertion list for term "passed in as an value of type va_list".
Results from Ascent++: 1
parameter (aspect of function) → ReceivesAction → passed in as an value of type va_list 0.28