Uc_static_var_symbol(char *nm, int off) : Uc_var_symbol(nm, offset)
Uc_static_var_symbol(char *nm, int off) : Uc_var_symbol(nm, off)
	Uc_static_var_symbol(char *nm, int off) : Uc_var_symbol(nm, offset)		{  }