pinocchio-device.cpp 27 KB