aligned_free      825 gc.c           static void aligned_free(void *);
aligned_free     1445 gc.c               aligned_free(GET_PAGE_BODY(page->start));
aligned_free     1491 gc.c           	aligned_free(page_body);