:- use_module(library(aggregates)).
:- use_module(library(dynamic)).
:- use_module(library(iso_misc)).
:- use_module(library(iso_byte_char)).
:- use_module(library(iso_incomplete)).
:- use_module(library(operators)).
:- use_module(library(read)).
:- use_module(library(write)).

%% Version comment prompting control for this file.
%% Local Variables: 
%% mode: CIAO
%% update-version-comments: "off"
%% End:


