/php_bug_72494
