system hello_world root hello_world (ROOT_CLUSTER): "make" default precompiled ("$ISE_EIFFEL\precomp\spec\$ISE_PLATFORM\vision2") assertion (all) cluster ROOT_CLUSTER: "$ISE_EIFFEL\examples\vision2\hello_world" end