Definition binaryIdentifier (i : identifier) : binaryExp :=
  BiRecord [
    ("name",         utf8 (idName i));
    ("versionMajor", u32 (idVersionMajor i));
    ("versionMinor", u32 (idVersionMinor i))
  ].
