P-Token is thunking for many proofs when applying binOpOffset which comes from Rust code like unsafe { ptr.offset(num) } which adds an offset to a raw pointer.

This is not a trivial thing to implement as we have no concrete addresses.