<?php

interface a extends Exception { }

?>