In addition to the internal carotid arteries, the two vertebral arteries contribute to the arterial blood supply of the brain and brainstem. The vertebral arteries enter the base of the skull via a large hole known as foramen _________?