Program Transformation using Lisp

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

>(cpr (trans (trans code 'opt)
             'lisptojava))

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