contract Foo =
  entrypoint foo : () => int

contract Fail =
  entrypoint bad() : int = Foo.foo()