christos@zoulas.com said:
> Well, there is the "used" attribute that we should probably be
> using... 
thorpej@wasabisystems.com said:
> Does changing it to __attribute__((used)) fix the problem? 

Yes this helps, thanks.
(Well, having a "used" and an "unused" __attribute__ in a row
looks... strange at least. Having one of them should be enough
to thell the compiler "I know what I'm doing".)

best regards
Matthias