1--TEST--
2Bug #37262 (var_export() does not escape \0 character)
3--FILE--
4<?php
5var_export("foo\0bar");
6?>
7--EXPECT--
8'foo' . "\0" . 'bar'
9