How many movies have David Miranda and Sidney Atalie Campos Reyes collaborated on?

They have not worked on any movies together...