Some pure c libs for AVR MCUs