212     /* a helper function... */

   212     /* a helper function... */

   213     symbol_c *base_type(symbol_c *symbol);

   213     symbol_c *base_type(symbol_c *symbol);

   214 

   214 

   215     /* a helper function... */

   215     /* a helper function... */

   216     void *verify_null(symbol_c *symbol);

   216     void *verify_null(symbol_c *symbol);

   217 

   222 

   218     /*********************/

   223     /*********************/

   219     /* B 1.4 - Variables */

   224     /* B 1.4 - Variables */

   220     /*********************/

   225     /*********************/

   221     void *visit(symbolic_variable_c *symbol);

   226     void *visit(symbolic_variable_c *symbol);