Public hospitalizations for stroke in Brazil from 2009 to 2016