ByteSize invariants; Swap.
Empty
FilePath, TemporaryFile, and their dependencies.