The Hypothetical Operating System Testbed Dispatcher Shell