let automate = (ref [] :         (string * int * (string * bool Pervasives.ref) list Pervasives.ref *
                                ((string * string) *
                                         ((string list * string list) * (string list * string list)) *
                                 (string * string))
                                        list)
                               list Pervasives.ref)