Ascent++ | written starting at the beginning of the file

Assertion list for term "written starting at the beginning of the file".

Results from Ascent++: 1

byte → ReceivesAction → written starting at the beginning of the file