<?php
class X { function __descruct() { echo "I'm done!"; } }
function make_x() { new X(); }
for ($i = 0; $i < 10; $i++) {
echo "Making X $i\n";
make_x();
}
Making X 0
Making X 1
Making X 2
Making X 3
Making X 4
Making X 5
Making X 6
Making X 7
Making X 8
Making X 9
Output for 8.3.5
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
Making X 0
Making X 1
Making X 2
Making X 3
Making X 4
Making X 5
Making X 6
Making X 7
Making X 8
Making X 9