Definition binaryExpImageCubeSection
  (i : imageInfo)
  (m : cubeMipMapList)
: binaryExp := BiRecord [
  ("id",   u64 0x434C4E5F43554245);
  ("size", u64 (binarySize (binaryExpImageCubeMap i m)));
  ("data", binaryExpImageCubeMap i m)
].
