How many movies have Denys Pavitt and Johnny Carson collaborated on?

They have not worked on any movies together...