contract MissingDefinition =
  entrypoint foo : int => int
  entrypoint main_fun() = foo(0)