src/Pure/System/command_line.scala

       }
     sys.exit(rc)
   }
 
   def tool0(body: => Unit): Nothing = tool { body; 0 }
+
+  def ML_tool0(body: List[String]): String =
+    "Command_Line.tool0 (fn () => (" + body.mkString("; ") + "));"
 }
-