(module Js_vector)