Assertion list for term "allocated for the length of the run".
Results from Ascent++: 1
byte → ReceivesAction → allocated for the length of the run 0.31