Pinocchio is a real boy now.