Uc_function_symbol(char *nm, int num, vector<char *>& p)
Uc_function_symbol(char *nm, int num, std::vector<char *>& p)
	Uc_function_symbol(char *nm, int num, vector<char *>& p)		: Uc_symbol(nm), parms(p), usecode_num(num)		{  }