1  contract Test =
2    payable entrypoint foo(x : int) =
3      if (x > Call.value)
4        true
5      else
6        false
7  
8    entrypoint bar(x : int) =
9      x + 7