mc-sgx-tstdc-sys-types (cargo): FFI types for `sgx_tstdc`.
Keywords: ffi|no-std|sgx