open Std

let input () = ()
let output () = flush stdout

let () =
  Runtime.parse_args ();
  Runtime.go_discrete input Time.main output