Also fix the bug that pkt_num was uint32_t.