/ia32_genassym.c/1.3/Wed Dec  3 00:24:36 2008//
/ia32_reg.h/1.2/Wed Dec  3 00:24:36 2008//
/ia32_signal.h/1.3/Wed Dec  3 00:24:36 2008//
/ia32_sysvec.c/1.3/Wed Dec  3 00:24:36 2008//
/ia32_util.h/1.2/Wed Dec  3 00:24:36 2008//
D
