export functions needed for phpdbg