Scusate, ma ricordo male oppure il tipo dati di riferimento normalmente in C è l'intero?
Se così fosse, torneremmo al mix di ANSI C e Embedded C a cui faceva riferimento Mauro, ossia che avr-gcc sottosta a 2 standard diversi mescolando un pò da questo e un pò da quello. 