class StreamWrapper
def stdout_puts(string)
$stdout.puts(string)
end
def stdout_flush
$stdout.flush
def stderr_puts(string)
$stderr.puts(string)
def stderr_flush
$stderr.flush