tobemangled
st = (void *)trunc_page((unsigned long)tobemangled);
(void)tobemangled();
char *p = (void *)tobemangled;