+ tag obj_root attrs ~contents out 0;
+ close_out och
+
+let marks = function
+ | [] -> "mark", ""
+ | l -> "mark", String.concat " " (List.rev_map string_of_int l)
+
+let export_csys s =
+ let path = path_of_uri !G.xdir s.Q.uri in
+ let _ = Sys.command (Printf.sprintf "mkdir -p %s" path) in
+ let name = F.concat path (ccs_name ^ ext) in
+ let och = open_out name in
+ let out = output_string och in
+ xml out "1.0" "UTF-8"; doctype out ccs_root system;
+ let attrs = [uri s.Q.uri] in
+ let contents = tag "ToInfinity" [arity s.Q.is; marks s.Q.is] in
+ tag ccs_root attrs ~contents out 0;