text: // Copyright (c) Open Enclave SDK contributors.
  // Licensed under the MIT License.
  
  #include <openenclave/enclave.h>
  
  OE_SET_ENCLAVE_SGX(
      1234, /* ProductID */
      5678, /* SecurityVersion */
      true, /* Debug */
      1024, /* NumHeapPages */
      512,  /* NumStackPages */
      4);   /* NumTCS */
  