Arduino library containg various Pinoccio-specific code