Inline compilation of external sgx module