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