Program Transformation using Lisp

>code
(IF (AND (= J 7) (<> K 3))
    (PROGN (:= X (+ (AREF A I) 3))
           (:= I (+ I 1))))

>(cpr (transform (transform code 'opt)
                 'lisptoc))

if (((j == 7) && (k != 3)))
  {
    x = (a[i] + 3);
    ++i;
    }