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