set -tmpdir "./xst/projnav.tmp"
elaborate
-ifn ps2kbd.prj
-ifmt mixed