Is decompressive craniectomy for acute cerebral infarction of any benefit?