cerebellar_infarction_surgery