diff -r 0ad7843d3790 -r 9e824bb0c3d4 stage1_2/stage1_2.hh
--- a/stage1_2/stage1_2.hh	Sat Aug 09 09:20:03 2014 +0100
+++ b/stage1_2/stage1_2.hh	Sat Aug 09 10:12:38 2014 +0100
@@ -60,7 +60,8 @@
 	bool full_token_loc;       /* error messages specify full token location */
 	bool conversion_functions; /* Create a conversion function for derived datatype */
 	bool nested_comments;      /* Allow the use of nested comments. */
-	bool ref_operator;         /* Allow the use of REF() operator. */
+	bool ref_operator;         /* Allow the use of REFerences (keywords REF_TO, REF, NULL). */
+	bool ref_to_any;           /* Allow the use of REF_TO ANY datatypes - non-standard extension! */
 	const char *includedir;    /* Include directory, where included files will be searched for... */
 } stage1_2_options_t;