1:- module('$eh$', []).    2:- qcompile('pac').		% not work for use_module.
    3:- use_module(misc(zdd)).    4:- use_module(misc('ptq-fragment')).    5:- use_module(misc('emacs-handler')).    6:- use_module(misc(cgi)).    7:- use_module(misc(web)).    8:- use_module(misc(matrix)).    9:- use_module(misc(interval)).   10:- use_module(misc(coalgebra)).   11:- use_module(misc(hmodel)).   12:- use_module(misc(models)).   13:- use_module(misc(ptq)).   14:- use_module(misc(latex)).   15:- use_module(misc(prooftree)).   16:- use_module(misc(ifmap)).   17:- use_module(gb('gb-top')).