out2.resize(num_docids + 128);
unsigned char *pldata = reinterpret_cast<unsigned char *>(&pl[0]);
p4nd1dec128v32(pldata, num_docids, &out1[0]);
out2.resize(num_docids + 128);
unsigned char *pldata = reinterpret_cast<unsigned char *>(&pl[0]);
p4nd1dec128v32(pldata, num_docids, &out1[0]);