(veri_spec.pl) Info    :  Execution started  at  Mon Mar 11 10:48:12 CET 2002
(veri_spec.pl) Info    :  9 modules processed.
(veri_spec.pl) Info    :  Compressing Modules ...
(veri_spec.pl) Info    :  Execution finished at  Mon Mar 11 10:48:12 CET 2002