path: root/test/profile13.awk

BEGIN {
	printf "hello\n"  > "/dev/stderr"
	printf("hello\n") > "/dev/stderr"
}