snapshots are already a bit weird in the model—so having some special treatment around rust intrinsics doesn’t seem wrong per se