The operation is known as “posterior fossa craniectomy and decompression.”