contract interface I =
    entrypoint f : () => int

contract C : I =
    stateful entrypoint f() = 1