File format specification: File size and code references