const ucontext_t = system.ucontext_t;