test_name inline-agent-manifest-expr test_description to be done define PRECOND false define INVARIANT false copy_sub Ace $TEST Ace copy_raw test.e $CLUSTER test.e compile_frozen compile_result ok c_compile_work c_compile_result ok execute_work NONE exec_output_1 execute_result ok compile_final compile_result ok c_compile_final c_compile_result ok execute_final NONE exec_output_2 execute_result ok test_end