test_name 	 agent-attached-by-default
test_description Agents are not attached by default in void-safe code

copy_sub	Ace $TEST Ace
define BAD_AGENT "l_agent := agent {detachable TEST}.bar"
copy_sub	test.e $CLUSTER test.e

compile_melted
compile_result validity_error TEST VUTA(2)

define BAD_AGENT ""
copy_sub	test.e $CLUSTER test.e

resume_compile
compile_result	ok

execute_work	NONE	exec_output_melted
execute_result	ok

compare exec_output_melted output

compile_frozen
compile_result ok
c_compile_work
c_compile_result ok

execute_work 	NONE 	exec_output_frozen
execute_result 	ok

compare exec_output_frozen output

test_end