libsgx_tstdc.a 1.9 MB