val run_dispatcher: Auto_pat.state -> Value.t -> int * Value.t array