contract C =
  entrypoint f : () => unit

main contract M =
  entrypoint f() = 123