Having looked at code for interfacing Eiffel to C and creating callbacks from C to Eiffel, I frequently found that things were not done properly, resulting in potential memory corruption or crashes.

First, I like to point out the CECIL documentation which contains everything you need to know about interfacing C with Eiffel.