Debuging Eiffel Applications with gdb