(* (+ 1 2) 4)
