Example code for Pinoccio! (pinocc.io)