#include "defs.h"


prname(t, v) 
	char t, *v;
{
	if (eval(t, v))
		print("%s :",symbol->nm);
	else print("%d? :", v);
}