      \fitem{dumpvar}(\emph{file}:string, \emph{id}$_1$:string,
      \emph{v}$_1$, ..., \emph{id}$_p$:string, \emph{v}$_p$) save in
      \emph{file} the value \emph{v}$_i$) under the name \emph{id}$_i$).
      Then \emph{file} can be used by the function \atvar{loadvar} to
      define and set or to reset the variable  \emph{id}$_i$. The format
      used in \emph{file} is a text format corresponding to the
      \Antescofo grammar. See also
      functions \atvar{savevalue} and \atvar{loadvalue}.

      The number of argument is variable, so this function cannot be
      curryfied.

      Dumping the values of the variables is done in a separate thread,
      so the ``main'' computation is not perturbed. However, it means
      that the file is created asynchronously with the function call and
      when the function returns, the file may not be completed.



      %%% -------------------------------------------------------

