--TEST--
Trying use name of an internal class as interface name
--FILE--
<?php
interface stdClass { }
?>
--EXPECTF--
Fatal error: Cannot declare interface stdClass, because the name is already in use in %s on line %d