Hans namn var Gama Machado.