Assertion list
kilobyte (primary) → ReceivesAction
Results from Ascent++: 2
kilobyte → ReceivesAction → written 0.25
kilobyte → ReceivesAction → remain to be written to the fil… 0.09