op_rec process_op(void)
{
	/* Produce operator descriptor */
	op_rec o;
	o.operator = (current_token == PLUSOP)? PLUS: MINUS;
	return o;
}