<?php

class foo {
}

interface bar extends foo {
}

echo "Done\n";
?>