%:- use_module(export, [export/1]).
%:- use_module(export2, [export2/1]).
main2(X) :- ensure_loaded(export), ensure_loaded(export2), export(X).
%main(X) :- use_module(export, [export/1]), export(X).
%main2(X) :- use_module(export, [export/1]), use_module(export2, [export/1]), export(X).