<?php

class Foo implements BackedEnum {}

?>