exec jx /usr/tom/src/jf/pfont.m $*
