Separable_extension loading ...