let write file ff = try let chanout = open_out file in output_string chanout (current_version^"\n"); Current.write chanout ff; close_out chanout with Sys_error s -> raise (Failure s)