<?php

class C
{
    #[\Override]
    public function c(): void {}
}

echo "Done";

?>