Pinocchio COIN (PINO)