192       s4o.print(")");

   192       s4o.print(")");

   193       return NULL;

   193       return NULL;

   194    	}

   194    	}

   195 

   195 

   196     void *print_compare_function(const char *function,

   196     void *print_compare_function(const char *function,

   198           symbol_c *l_exp,

   198           symbol_c *l_exp,

   199           symbol_c *r_exp) {

   199           symbol_c *r_exp) {

   200       s4o.print(function);

   200       s4o.print(function);

   204       l_exp->accept(*this);

   203       l_exp->accept(*this);

   205       s4o.print(", ");

   204       s4o.print(", ");

   206       r_exp->accept(*this);

   205       r_exp->accept(*this);

   207       s4o.print(")");

   206       s4o.print(")");

   208       return NULL;

   207       return NULL;