<?php

enum Foo {
    public function __destruct() {}
}

?>