Text this: Cisticerco racemoso intraventricular: Extirpação cirúrgica