let expr_rec_spec_null mem e1 = if Cil.isZero e1 then let t = Ctypes.object_of (Cil.typeOf e1) in M.V_pointer(t, M.null) else (!expr_rec mem e1)