Lemma fileHeaderSize : lengthN (binaryExpsNamedOctets fileHeader) = 16.
