6.5 pbuf_alloc()