1  contract interface ValueOnErr =
 2    entrypoint err : () => int
 3    entrypoint ok  : () => int
 4  
 5  contract RemoteValueOnErr =
 6  
 7    stateful payable entrypoint callErr(r : ValueOnErr, value : int) : int =
 8      r.err(value = value)
 9  
10    stateful payable entrypoint callErrLimitGas(r : ValueOnErr, value : int, gas : int) : int =
11      r.err(value = value, gas = gas)
12  
13    stateful payable entrypoint callOk(r : ValueOnErr, value : int) : int =
14      r.ok(value = value)