program main
  fn add_one_in_unsafe(value: i32) -> i32
    unsafe : i32
      local let one : unit
        int 1 : i32
      binary + : i32
        var value : i32
        var one : i32
  fn main() -> i32
    call add_one_in_unsafe : i32
      int 41 : i32
  test "unsafe block returns final value"
    binary = : bool
      call add_one_in_unsafe : i32
        int 4 : i32
      int 5 : i32
  test "unsafe block can return bool"
    unsafe : bool
      binary = : bool
        call add_one_in_unsafe : i32
          int 1 : i32
        int 2 : i32
