the arduino ide passes everything to the gcc compiler as it is, so you can write in both avr c, arduino or a mix