diff -r 3d682f87c870 -r dea39ef02847 stage1_2/stage1_2.cc
--- a/stage1_2/stage1_2.cc	Mon Feb 24 22:00:55 2014 +0000
+++ b/stage1_2/stage1_2.cc	Sun Mar 02 16:42:56 2014 +0000
@@ -69,6 +69,13 @@
 bool nested_comments_ = false;
 bool get_opt_nested_comments() {return nested_comments_;}
 
+/************************************/
+/* whether to allow REF() operator  */
+/************************************/
+bool ref_operator_ = false;
+bool get_opt_ref_operator() {return ref_operator_;}
+
+
 /******************************************************/
 /* whether we are supporting conversion functions     */
 /* for enumerate data types                           */
@@ -248,6 +255,7 @@
        */
 
   nested_comments_ = options.nested_comments;    
+  ref_operator_    = options.ref_operator;    
   safe_extensions_ = options.safe_extensions;
   conversion_functions_ = options.conversion_functions;
   return stage2__(filename, options.includedir, tree_root_ref, options.full_token_loc);