--- fwsync/driver/fwsync_workers.c	2022/08/13 18:22:55	1.12
+++ fwsync/driver/fwsync_workers.c	2022/08/13 18:44:02	1.13
@@ -295,6 +295,7 @@ fwsync_alias_sync(const void *arg, const void *extdata
 	}
 
 	// TODO: xxx
+	printf("%s: pkt=%p\n", __func__, pkt);
 
 	free(pkt, M_FWSYNC);
 	return 0;