Definition binaryFileSection (i : ItemT) : binaryExp := 
  let nameText  := utf8 (uppercaseOf (fileNameString (itemFileName i))) in
  let nameSize  := binarySize nameText in
  let fileSize  := itemSize i in
  let totalSize := 4 + nameSize + fileSize in
    BiRecord [
      ("id",         u64 0x4D54505F46494C45);
      ("size",       u64 totalSize);
      ("nameLength", u32 nameSize);
      ("name",       nameText);
      ("data",       BiReserve fileSize)
    ].
