How many movies have Buck Henry and Greg Cohen acted in together?

They have not worked on any movies together...