let
swap t i j =
let
tmp = t.(i)
in
t.(i) <- t.(j);
t.(j) <- tmp