garbage
garbage("salloc");
garbage("morehd");
garbage("copy");
garbage("seekc");
garbage("more");
void garbage(char *s);
volatile int garbage[ECACHE_PAGE_BYTE_MAX - sizeof (page_t)];
volatile int garbage[ECACHE_PAGE_BYTE_MAX - sizeof (page_t)];
volatile int garbage[ECACHE_PAGE_BYTE_MAX - sizeof (page_t)];
volatile int garbage[ECACHE_PAGE_BYTE_MAX - sizeof (page_t)];