message: fix clang 12 build..
diff: @@ -236,6 +236,8 @@ public:
  bool byval;
  bool nocapture;
  + PtrInput(StateValue &&v, bool byval, bool nocapture) :
  + val(std::move(v)), byval(byval), nocapture(nocapture) {}
  smt::expr operator==(const PtrInput &rhs) const;
  auto operator<=>(const PtrInput &rhs) const = default;
  };
  