--TEST--
007: Run-time name conflict (php name)
--FILE--
<?php
namespace test\ns1;
class Exception {
}
$x = "Exception";
echo get_class(new $x),"\n";
?>
--EXPECT--
Exception