Add the last 4 blocks of padding to the Tar data. Change the way tar header filenames are found. Make sure tar header returns a Fetch. Subset (Disk) proofs for Tar stuff
Use disk monotonicity for borland