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)