+#include "../lib/arc4.h"
+#include "../lib/cksum.h"
+
+/* This is the max file size for an older version of the Pintos
+ file system that had 126 direct blocks each pointing to a
+ single disk sector. We could raise it now. */
+#define SIZE (126 * 512)