os.txt: commented out file definitions, to be redefined
os.txt:  defined files as mutable lists of bytes
spec.txt: clarified address translation using segments