Kannste mal sehen...bei mir hat die hex 515 Bytes...
avr-gcc 3.4.4
mmcu atmega32
-Os

EDIT: Wobei ich sagen muß, daß der Assemblercode soweit gleich ist...