Configure setup_instruments (for the mutex page) if possible on startup, and restore...