mint_box

key is an object with an id. store can be kept inside other objects. copy can be duplicated. drop can be thrown away.

• MintBoxstorekey

  id	UID
  marker	u64
  box_ids	vector<ID>
  size	u64

Constants are shown the way the code loads them. Bytecode does not keep their names.