test_name catcall-crash-at-runtime
test_description If you check for catcall of a manifest tuple [Void], i.e. of type TUPLE [NONE], the conformance checks will cause a memory corruption.

copy_sub Ace $TEST Ace
copy_raw test.e $CLUSTER test.e

compile_melted
compile_result	ok

execute_work 	NONE 	exec_output
execute_result 	ok
compare		exec_output output

test_end