contract F =
  entrypoint g() = 1

main contract C =
  using F for [g]

  entrypoint f() = g()