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