Definition binaryExpImageInfoSection (i : imageInfo) : binaryExp := BiRecord [
  ("id",   u64 0x434C4E49494E464F);
  ("size", u64 (binarySize (binaryExpImageInfo i)));
  ("data", binaryExpImageInfo i)
].
