--- /dev/null
+#include <stdint.h>
+#include <stddef.h>
+
+/*
+ * burn - simple function to zero a buffer, used to cover our tracks
+ */
+void
+burn(void *dest, size_t len)
+{
+ volatile uint8_t *p = (uint8_t *)dest;
+ const uint8_t *end = (uint8_t *)dest+len;
+
+ while (p < end) *p++ = 0;
+}