inl main () : i32 =
    inl ~n = 2i32
    inl ~xs : array f64 = create n
    set xs 0i32 1.5f64
    set xs 1i32 2.5f64
    inl ~i = 1i32
    if index xs i >= 2.0f64 then 0i32 else 1i32