/kip-ia32-debug.cpp/1.3/Tue Jan  3 15:46:43 2006//
/kip-ia32.cpp/1.7/Tue Jan  3 15:46:45 2006//
/kip.cpp/1.20/Sun Oct  2 20:54:53 2005//
/l4_types-32bit.cpp/1.15/Thu Jan  5 14:44:04 2006//
/l4_types-64bit.cpp/1.2/Thu Jan  5 14:44:05 2006//
/l4_types-debug.cpp/1.21/Tue Sep 27 16:05:41 2005//
/l4_types-iofp.cpp/1.11/Thu Feb  9 20:57:42 2006//
/l4_types.cpp/1.68/Thu Feb  2 16:11:32 2006//
/utcb-ia32-ux.cpp/1.6/Wed Dec  7 12:16:10 2005//
D
