#include <algorithm>
#include "threads/SystemClock.h"
#include "threads/SingleLock.h"
#include "CircularCache.h"
#include <string.h>