contract interface I : H =
    entrypoint f : () => unit

contract C =
    entrypoint g() = ()