<?php
class ReadonlyIncrementWrite
{
    public readonly int $value;
    public function __construct() { $this->value = 1; }
    public function change(): void { ++$this->value; }
}