
%:- use_package([]).
file_alias(file,'mm.pl').
