(module Js_string)