(bad_regex.php.trace)