test_name 	print-large-pointer
test_description A procedure which prints out a large pointer value should not loose the upper part.

copy_sub 	Ace $TEST Ace
copy_raw 	test.e $CLUSTER test.e
compile_melted
compile_result 	ok

execute_work 	NONE 	exec_output1
execute_result 	ok
compare		exec_output1 output

test_end