anchor.diff:  %%% Getters
   
   %% The address of the contract account.
  --spec pubkey(contract()) -> aec_keys:pubkey().
  +-spec pubkey(contract()) -> id().
   pubkey(C) -> aec_id:specialize(C#contract.id, contract).
   
   %% The owner of the contract is (initially) the account that created it.
  
positive.code:       , {store,  lists:sort(maps:to_list(state(C)))}
        ]).
  
  -spec deserialize_from_poi(aec_keys:pubkey(), serialized()) -> contract().
  deserialize_from_poi(Pubkey, Bin) ->
      [ {owner, OwnerId}
      , {vm_version, VmVersion}
  
negative.code:       , {deposit, deposit(C)}
        ]).
  
  -spec deserialize(id(), serialized()) -> contract().
  deserialize(Pubkey, Bin) ->
      [ {owner, OwnerId}
      , {vm_version, VmVersion}
  