Assertion: cd's data | /r/HasProperty | freed
Facets:
Source sentences:
text: The code builds a map of regions of data that were freed; on every write the code consults the map and eventually removes ranges that were freed before, but are now overwritten.
text: If there is free space left on the CD after the first session, additional data can be written to it at a later date.