@load "revoutput"

BEGIN {

	REVOUT = 1

	print "hello, world" > "/dev/stdout"

}