#include <stdlib.h>
#include <stdio.h>
#include <string.h>
#include <inttypes.h>

#include "cache.h"
#include "util.h"

void do_access(page_t *pages) {
    (void)*(volatile char *)&pages[11];
}