let _ = if not !Sys.interactive then begin Protocol.init Sys.argv; Strategy.plan (); Protocol.close () end