jax and ribbit Vector | ScratchStats