Hooray! It works!
PHP 8.3