let js_mode () = !js_mode