(module Js_global)