53a54
> void loadsymbol(ThreadContext *xc);