This is just missing an `S4` that has a postblit, but that is unsafe, impure, and throws. And we make sure that `dup` is also all those things.