withContext $ \ctx -> withHostTargetMachineDefault $ \tm ->
withExecutionSession $ \exSession ->
withSymbolResolver exSession (SymbolResolver symResolver) $ \symResolverPtr ->
withContext $ \ctx -> withHostTargetMachineDefault $ \tm ->
withExecutionSession $ \exSession ->
withSymbolResolver exSession (SymbolResolver symResolver) $ \symResolverPtr ->