path: root/test/profile13.ok

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