Use unboxed vectors