const SBI_BASE_EXTENSION_EID: usize = 10;