be compatible with phpdbg