let
single sid = inject_singleton sid