scilla_version 0
  
(***************************************************)
(*             The contract definition             *)
(***************************************************)

contract ChainId()
field dummy_field : Uint256 = Uint256 0

transition EventChainID ()
  cid <-& CHAINID;
  e = { _eventname : "ChainID"; chain_id : cid };
  event e
end