1 2 3 4 5 6 7 8
/* Tactic: BJSt2Proc*/\tbegin\ttactic BJSt2Proc(pname) \def \tprogram (pname, \defsbox (\beginendbox((), \ttactic foldrpar(\ttactic isolateInitBin()))))\tend