contract ContractV1{ address destination; }