Assertion list for term "stored at segment".

Results from Ascent++: 1
derivative ReceivesActionstored at segment 0.25