(http://img.thefreedictionary.com/thumb/3/31/Figueiredo-MHN-Tiradentes.jpg)
Born José Joaquim da Silva Xavier, Tiradentes gained his nickname, which means "tooth-puller," working as a healer in his youth. In the late 1780s, he joined and soon became the leader of a revolutionary movement against Portuguese rule in Brazil that was inspired by the American Revolution. In 1789, the movement was betrayed and its leaders were imprisoned. They were freed and exiled in 1792 with the exception of Tiradentes, who was executed in Rio de Janeiro.
What was done with his remains?
Source: Brazilian Patriot Tiradentes Hanged, Drawn, and Quartered (1792) (http://encyclopedia.thefreedictionary.com/Tiradentes)