C port of the Arduino core