program tests
  fn add(a: i32, b: i32) -> i32
    binary + : i32
      var a : i32
      var b : i32
  fn main() -> i32
    int 0 : i32
  test "add works"
    binary = : bool
      call add : i32
        int 2 : i32
        int 3 : i32
      int 5 : i32
