let
standalone_of_server s =
{standalone_ui = s.server_ui;
standalone_engine = s.server_engine;}