make tl.lp ; tjsim -b -m 1 -s "mcheck \"$1\"." tl.lp