SWiSH [eiffel65.swi]
