V_ticket_pabuf
if (pool_ticket != V_ticket_pabuf) {
V_ticket_pabuf);
*ticket = ++V_ticket_pabuf;
if (pp->ticket != V_ticket_pabuf) {
pcr->pool_ticket != V_ticket_pabuf)