1  contract interface Remote =
2    entrypoint missing : (int) => int
3  
4  contract Init_error =
5  
6    record state = {value : int}
7  
8    entrypoint init(r : Remote, x : int) =
9      {value = r.missing(x)}