class A
feature
	some_string: STRING is
		once
			Result := "Hello World"
		end
end