let
right_child (i : arrayidx) : arrayidx = i*2+1