Symbol: sgx_encls