BEGIN {
print abc > "123\0abc";
}
RUN ERROR: CODE [112] LINE [2] i/o name containing a null character