An independent reimplementation of Pinocchio.