<?php

enum Foo implements BackedEnum {}

?>