• no_extension_optimization