1136 	 *          To make things simpler (i.e. so we do not need to change the transition conditions in the flex state machine),

  1136 	 * 

  1137 	 *          when using this non-standard extension matiec requires that Functions must include at least one 

  1137 	 * NOTE: Some code being parsed may be erroneous and not contain any VAR END_VAR block.

  1138 	 *          VAR .. END_VAR block. This implies that the above assumption remains valid!

  1138 	 *       To generate error messages that make sense, the flex state machine should not get lost

  1139 	 *          This limitation of requiring a VAR .. END_VAR block is not really very limiting, as a function

  1139 	 *       in these situations. We therefore consider the possibility of finding 

  1140 	 *          with no input and output parameters will probably need to do some 'work', and for that it will

  1140 	 *       END_FUNCTION, END_FUNCTION_BLOCK or END_PROGRAM when inside the header_state.

  1141 	 *          probably need some local variables declared in a VAR .. END_VAR block.

  1142 	 *          Note however that in the extreme it might make sense to have a function with no variables whatsoever

  1143 	 *          (e.g.: a function that only calls other functions that all return VOID - another non standard extension!).

  1144 	 *          For now we do not consider this!!

  1155 VAR_ACCESS			unput_text(0); /* printf("\nChanging to vardecl_list_state\n") */; BEGIN(vardecl_list_state);

  1151 VAR_ACCESS			unput_text(0); BEGIN(vardecl_list_state);

  1152 

  1153 END_FUNCTION			| /* execute the next rule's action, i.e. fall-through! */

  1154 END_FUNCTION_BLOCK		| 

  1155 END_PROGRAM			unput_text(0); BEGIN(vardecl_list_state); 

  1156 				/* Notice that we do NOT go directly to body_state, as that requires a push().

  1157 				 * If we were to puch to body_state here, then the corresponding pop() at the

  1158 				 *end of body_state would return to header_state.

  1159 				 * After this pop() header_state would not return to INITIAL as it should, but

  1160 				 * would instead enter an infitie loop push()ing again to body_state

  1161 				 */