1  
2  contract interface Remote =
3    entrypoint main_ : (int, int) => int // Too many arguments!
4  
5  contract Main =
6  
7    entrypoint fail(r : Remote) =
8      r.main_(1, 1000) + 2