Optic nerve decompression in osteopetrosis.