Lengkapi kalimat berikut: Mazinho mendapatkan 35 caps dengan tim nasional Brasil, yang pertama datang pada Mei 1989 dalam pertandingan persahabatan melawan Peru dan yang terakhir selama Piala Dunia FIFA 1994. Pada Piala Dunia 1994, sebuah turnamen yang dimenangkan Brasil, ia adalah anggota ketiga dari perayaan "tiga pria dan bayi" dengan Bebeto dan Romário dalam kemenangan perempat final melawan Belanda. Mazinho juga merupakan pemenang Copa América di
1989, pada saat itu dia bermain sebagai bek sayap.