File psl-1983/20-kernel/mini-trace.red from the latest check-in

PathIn "autoload-trace.red"$
END;