[Welcome to phpdbg, the interactive PHP debugger, v8.5.12]
To get help using phpdbg type "help" and press enter
[Please report bugs to <https://github.com/php/php-src/issues>]
[Could not open file /tmp/help]
prompt>