(* abc (+ 45  (+ x  y)))