Building Secure SGX Enclaves using F*, C/C++ and X64