pinocchio_pep