HomeIsabelle/Phabricator

clarified signature: more robust startup_join;