<?php

interface a { }

class_alias('a', 'b');

class b { }

?>