The Pinocchio Package