sig val run : 'InputSystem.t -> unit end