/php_bug_72512
