let single s = inject_singleton s