[Ahhhrrrgggg!  I sent the wrong files... here is a repeat of the message with the correct files... this time from my new GMail account]

Maxime, here are the files I used for my image loader tests.  They demonstrate the different possibilities for linking (importing C functions to the image, such as gcCollect, and exporting functions to C, such as tachyon_main).  The file image.S is the format that should be generated by the image dumper (except for the comments of course).  It was written to be portable, and I have tested it on Linux, MacOS X and Windows (MinGW and CYGWIN).  That way, an image can be generated on any of those systems without any further tweaking.

Marc