in "mini-support-patch.red"$
in "mini-support.red"$
in "mini-support.fix"$
global '(PNAM);
in "mini.sl"$
