Symbol: sgx_epc_section