thunk_setcontext
if (thunk_setcontext(&newpcb->pcb_ucp))
thunk_setcontext(&sc->sc_ucp);
thunk_setcontext(ucp);
int thunk_setcontext(const ucontext_t *);
thunk_setcontext(&jump_ucp);