- Passing strlen to phpdbg_set_breakpoint_symbol