test_name attached-result-validity test_description Result of an attached type should be set before feature return. copy_sub Ace $TEST Ace copy_raw a.e $CLUSTER a.e copy_raw b.e $CLUSTER b.e copy_raw c.e $CLUSTER c.e copy_raw test.e $CLUSTER test.e compile_melted compile_result validity_error A VEVI VEVI VEVI VUTA(2) VUTA(2) VUTA(2); B VEVI VEVI VEVI VUTA(2) VUTA(2) VUTA(2); C VJAR VJAR VJAR VJAR VJAR VJAR VEVI VEVI VEVI; TEST VEVI VEVI VEVI VEVI VEVI VEVI test_end