dump_packet() is now public