let
add_one ra x =
let
n = length ra
in
maybe_grow_ix ra n;
unsafe_set ra n x