I'm thinking that we could simply call EIF_ENTER_EIFFEL and then perform the lock/unlock of the `eif_gc_mutex' prior to raising the exception in `eraise'. Is this what you have in mind?