How many movies have Mari Machado and Nick van Noort collaborated on?

They have not worked on any movies together...