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