•Intepretazione del buffer risultato:
• // Parsing dello stack
•pr.resize(buflen);
•int j = 0;
•for(int
i=0;i<buflen;++i){
• int n = sbuf[j++];
// Namestack size
• pr[i].minDepth = sbuf[j++]/double(UINT_MAX);
• pr[i].maxDepth = sbuf[j++]/double(UINT_MAX);
• pr[i].nameStack.resize(n);
• for(int k=0;k<n;++k)
• pr[i].nameStack[k] =
sbuf[j++];
•}