I missed to add the size are for libs compiled with -g3 -O0 so in fact the saved flash is more 3MB (already a lot anyway). Francis Dupont <fdupont at isc.org>