test_name 	has-stable-attribute-crash
test_description Adding an attribute to a particular void-safe system and recompiling crashes the compiler.

define		ATTRIBUTE ""
copy_sub 	Ace $TEST Ace
copy_raw 	test.e $CLUSTER test.e
copy_raw 	test1.e $CLUSTER test1.e
copy_raw 	test2.e $CLUSTER test2.e
copy_sub 	test3.e $CLUSTER test3.e
compile_melted
compile_result 	ok

define		ATTRIBUTE "x: INTEGER"
copy_sub 	test3.e $CLUSTER test3.e
compile_melted
compile_result 	ok

test_end