serde-bytes-sgx