resume_pop_es
extern char resume_iret[], resume_pop_ds[], resume_pop_es[],
resume = (int)resume_pop_es;