gistfile1.txt

(match tail
... 
  [(if ,p ,tT ,fT)
        (cps
         [tTail* tE <- (Tail tTail)   (: Tail/c Env/c)]
         [fTail* fE <- (Tail fTail)   (: Tail/c Env/c)]
         [then
          (let*-values ([(l+ tE*) (label-block tTail* 'T #f)]
                        [(l- fE*) (label-block fTail* 'F #f)]
                        [(tail* Ep)])
            (cps 
             [pTail pE <- (Pred p l+ l-) (: Tail/c Env/c)]
             [then (k pTail (append tE fE tE* fE* pE))]))])]
...)