`ps_init_module` should be called.  I think we're fine.

Maybe add a CHECK for `empty || is_root`?