      CEnclaveMngr *mngr = CEnclaveMngr::get_instance();
      CEnclaveSim *ce = mngr->get_enclave(epc_lin_addr);
  
-@@ -232,6 +358,11 @@
+@@ -232,6 +359,11 @@
          // xbx contains the address of a TCS
          tcs = reinterpret_cast<tcs_t*>(xbx);
  

     if (addr == NULL) {
         delete ce;
         return 0;
@@ -195,6 +316,11 @@
 
 uintptr_t _EREMOVE(const void *epc_lin_addr)
 {

 #include <stdio.h>
 #include <stdlib.h>
 
@@ -71,6 +78,119 @@
 
 #define mcp_same_size(dst_ptr, src_ptr, size) memcpy_s(dst_ptr, size, src_ptr, size)
 
