objc-frameworks-to-eiffel-converter - Revision 3: /source/examples