execute_extension