p = curproc;
p = dispatcher_curproc;
dispatcher_fastemit(ek_signal_t s, ek_data_t data,		    ek_id_t id){  ek_id_t pid;  struct dispatcher_proc *p;  pid = dispatcher_current;  p = curproc;  deliver(s, data, id);    dispatcher_current = pid;  curproc = p;  }