Usecode_value(const Usecode_value& v2) : type((unsigned char) int_type) { *this = v2; }
Usecode_value(int size, Usecode_value *elem0) : type((unsigned char) array_type) { value.array = new Usecode_value[size + 1]; value.array[size].type = (unsigned char) end_of_array_type; if (elem0) value.array[0] = *elem0; }
	Usecode_value(const Usecode_value& v2) : type((unsigned char) int_type)		{ *this = v2; }