# File utils.rb, line 19
                def readline( prompt )
                        $stderr.print prompt.chomp
                        return $stdin.gets.chomp
                end