inl read_dynamic ~xs ~i =
    index xs i +. length xs

inl main () : i32 =
    inl ~n = 3i32
    inl ~xs : array i32 = create n
    set xs 0i32 2i32
    set xs 1i32 5i32
    set xs 2i32 7i32
    inl ~i = 2i32
    join read_dynamic xs i -. 10i32