<?php
abstract class Box { abstract public int $x { get => 1; } }

function main() {}