ThreadedQueue uses Condition, not Lock
ExecutionBoundVariable weakly references execution
explicit singleton for MagicInstrumentation