open Std let input _ = () let output () = () let () = Runtime.go_discrete input Odes.main output