Symbol: SBI_EXT_NACL