Files
intel-linux-sgx/sdk/tlibc/stdio