note

src/passbook.c

@@ -5,6 +5,11 @@
 
 #include "debug.h"
 
+/*
+ FIXME: the save command is a DoS. Allow this to be turned off
+        and ensure it is turned off when testing student submissions
+*/
+
 #ifdef PASSBOOK_LIBFUZZER
 #include <stdint.h>
 const char LIBFUZZER_INPUT_FILE[] = "libFuzzerInput.tmp";