<?php

interface foo {
}

interface bar extends foo, foo {
}

echo "Done\n";
?>