contract Child =
  entrypoint
        add2 : int => int
        add2(x) = x + 2

main contract Main =
  entrypoint add4(x, c : Child) = c.add2(x) + 2