Kani Rust Verifier 0.61.0 (standalone)
warning: target feature `x87` must be enabled to ensure that the ABI of the current target can be implemented correctly
  |
  = note: this was previously accepted by the compiler but is being phased out; it will become a hard error in a future release!
  = note: for more information, see issue #116344 <https://github.com/rust-lang/rust/issues/116344>

warning: target feature `sse2` must be enabled to ensure that the ABI of the current target can be implemented correctly
  |
  = note: this was previously accepted by the compiler but is being phased out; it will become a hard error in a future release!
  = note: for more information, see issue #116344 <https://github.com/rust-lang/rust/issues/116344>

warning: 2 warnings emitted

/usr/lib/gcc/x86_64-pc-linux-gnu/15.1.1/include/stddef.h:465:1: error: failed to find symbol 'nullptr'
   typedef __typeof__(nullptr) nullptr_t;
CONVERSION ERROR
error: goto-cc exited with status exit status: 1