contract C1 =
  entrypoint f : int

contract C =
  entrypoint f() = 123