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