etc/options

--- a/etc/options	Mon Apr 04 19:48:54 2016 +0200
+++ b/etc/options	Mon Apr 04 20:07:08 2016 +0200
@@ -126,6 +126,9 @@
 public option ML_system_64 : bool = false
   -- "ML system for 64bit platform is used if possible (change requires restart)"
 
+option ML_system_unsafe : bool = false
+  -- "provide access to low-level ML system structures"
+
 
 section "Editor Reactivity"