tl.lp: tl.mod tl.sig prover.lp print.lp ll.sig programs.sig tjcc tl print.lp: print.mod print.sig ll.sig programs.sig tjcc print prover.lp: prover.mod prover.sig ll.sig tjcc prover