The comment in the UNSAFE_ENTRY_SCOPED macro has grown somewhat inorganically, and contains some repetitions, as well as claims that are not fully explained. Since this is a delicate part of the memory safety contract provided by the FFM API, it might be a good idea to rewrite this comment.