let size v = v.hi - v.lo + 1