class EXAMPLE
   --
   -- The Eiffel program is running first, creates an empty STRING which is passed to the C world.
   -- The C program then modifies the Eiffel STRING calling the Eiffel feature `extend' of class STRING.
   -- Finally, the modified STRING is printed.
   --
   -- To compile this example, use command:
   --
   --  se c -cecil cecil.se example c_prog.c
   --
   -- Is is also possible to C precompile the c_prog.c file doing:
   --
   --  gcc -c c_prog.c
   --  se c -cecil cecil.se example c_prog.o
   --

create {ANY}
   make

feature {ANY}
   make
      local
         string: STRING
      do
         create string.make(0)
         call_c_prog(string)
         io.put_string(string)
      end

feature {}
   call_c_prog (str: STRING)
      external "C"
      alias "c_prog"
      end

end -- class EXAMPLE