1--TEST--
2Bug #42272 (var_export() incorrectly escapes char(0))
3--FILE--
4<?php
5$foo = var_export("\0", true );
6echo $foo, "\n";
7var_export("a\0b");
8?>
9--EXPECT--
10'' . "\0" . ''
11'a' . "\0" . 'b'
12