--| Copyright (c) 1993-2017 University of Southern California and contributors.
--| All rights reserved.
--| Your use of this work is governed under the terms of the GNU General
--| Public License version 2.

class TEST1 [G -> ANY]
feature
	frozen value (n: G): G is
		external "C inline"
		alias
		"[
#ifndef XXEWEASEL_EIF_REFERENCE
#define XXEWEASEL_EIF_REFERENCE 1
#endif
#ifndef XXEWEASEL_EIF_REAL_64
#define XXEWEASEL_EIF_REAL_64 2
#endif

#if XXEWEASEL_$$_result_type == XXEWEASEL_EIF_REFERENCE
			return eif_access($n);
#else
			return $n;
#endif
		]"
		ensure
			is_class: class
		end

	value2: G

	set_value2 (n: G) is
		do
			value2 := n
		end

	try is
		do
			print (feature {TEST1 [G]}.value (value2));
			io.new_line
		end
end