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