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