BEGIN {
	print abc > "123\0abc";
}

RUN ERROR: CODE [115] LINE [2] i/o name containing a null character