exec jx /usr/jerq/src/jf/jf.m $*
