SmallEiffelのサンプルにあるio.put_stringみたいな
関数(ルーチン？)の詳しい情報ってどこにあるの？