diff -r 76324f461aed -r 2a42a68f4b59 stage1_2/stage1_2_priv.hh
--- a/stage1_2/stage1_2_priv.hh	Sun Sep 28 16:35:44 2014 +0100
+++ b/stage1_2/stage1_2_priv.hh	Sun Sep 28 17:39:28 2014 +0100
@@ -93,10 +93,10 @@
 /************************************/
 bool get_opt_nested_comments();
 
-/************************************/
-/* whether to allow REF() operator  */
-/************************************/
-bool get_opt_ref_operator();
+/**************************************************************************/
+/* whether to allow REF(), DREF(), REF_TO, NULL and ^ operators/keywords  */
+/**************************************************************************/
+bool get_opt_ref_standard_extensions();