demporkchops OK on PHP 8.5.4