<?php
error_reporting(~E_ALL);
function verify(\ArrayAccess $x) {
if (!($x instanceof \ArrayAccess)) {
echo "You gave me a malformed object!";
}
}
$a = new \stdClass();
verify($a);
Warning: PHP Startup: Unable to load dynamic library 'sodium.so' (tried: /usr/lib/php/8.3.5/modules/sodium.so (libsodium.so.23: cannot open shared object file: No such file or directory), /usr/lib/php/8.3.5/modules/sodium.so.so (/usr/lib/php/8.3.5/modules/sodium.so.so: cannot open shared object file: No such file or directory)) in Unknown on line 0
Process exited with code 255.