/* * Externally-visible debugger state and entrypoints */