let
new_exp =
Cil
.new_exp ~loc:(
Cil
.
CurrentLoc
.get())