* Store a pointer to our internal copy of the aux vector at the address * specified by the caller. It should not hold on to this data for too long. */
source not stored for this graph (policy: none)
no test coverage detected