#include "share/atspre_staload.hats" fun test {l:agz}(pf: !array_v(int, l, 2)| p: ptr l): void = let prval (pf_x, pf_xs) = array_v_uncons(pf) prval (pf_x1, pf_xs1) = array_v_uncons(pf_xs) val () = !p := 0 val p2 = ptr1_succ<int>(p) val () = ptr_set<int> (pf_x1 | p2, 0) prval () = pf_xs := array_v_cons(pf_x1, pf_xs1) prval () = pf := array_v_cons(pf_x, pf_xs) in () end implement main0 () = print"Hello World!\n"