diff
+	#include <assert.h>
 	vfree(nvdev->recv_buf);
+	nvdev->recv_buf = NULL;
+	assert(nvdev->recv_buf == NULL);  // Ensure pointer is NULL after freeing
