<?php

enum Foo: int {
    public int $value;
}

?>