class HELLO
creation
make
feature
make is
do
Current.std_output.put_string("Hello World!");
Current.std_output.put_character('%N');
end
end
Contributed by Waldek Hebisch, hebisch at math.uni.wroc.pl