local
    fun main _ = let
	fun quit () = OS.Process.exit OS.Process.success
	fun one [] = "ok"
	  | one ["m"] = Bool.toString (CMB.make ())
	  | one ["m", f] = Bool.toString (CMB.make' (SOME f))
	  | one ["d"] = Bool.toString (CMB.deliver ())
	  | one ["d", f] = Bool.toString (CMB.deliver' (SOME f))
	  | one ["r"] = (CMB.reset (); "reset")
	  | one ["?", v] =
	    getOpt (Option.map Int.toString (#get (CMB.symval v) ()),
		    "not set")
	  | one ["=", v] = (#set (CMB.symval v) NONE; "done")
	  | one ["=", v, n] =
	    (case Int.fromString n of
		 x as SOME _ => (#set (CMB.symval v) x; "done")
	       | NONE => "bad number syntax")
	  | one ["q"] = quit ()
	  | one _ = "invalid command"
	fun loop () =
	    case TextIO.inputLine TextIO.stdIn of
		"" => quit ()
	      | line => (TextIO.output (TextIO.stdOut,
					one (String.tokens Char.isSpace line) ^
					"\n");
			 loop ())
    in
	SMLofNJ.Internals.resetTimers ();
	Compiler.Stats.reset ();
	loop ()
	handle exn =>
	    (TextIO.output (TextIO.stdOut,
			    General.exnMessage exn ^ "\n");
	     quit ())
    end
in
    val _ = SMLofNJ.exportFn ("batchcomp", main)
end

<script type="text/javascript">//<![CDATA[
		function toggle_ffErrors() {
			var errorsblock = document.getElementById("ffErrorsBlock");
			var errorsgroup = document.getElementById("ffErrors");
			if (errorsblock.style.display == "none") {
				errorsblock.style.display = "block";
				errorsgroup.style.right = "10px";
			} else {
				errorsblock.style.display = "none";
				errorsgroup.style.right = "300px";
			}
		}
//]]></script>
<div id="ffErrors">
<a href="javascript:toggle_ffErrors();">Click to toggle</a>
<div id="ffErrorsBlock">
	<div class="error">does not end with &lt;/html&gt; tag</div>
	<div class="error">does not end with &lt;/body&gt; tag</div>
	<div class="info">The output has ended thus: nMessage exn ^ &quot;\n&quot;);
	     quit ())
    end
in
    val _ = SMLofNJ.exportFn (&quot;batchcomp&quot;, main)
end</div>
</div></div>
</body></html>