/hal.c/1.16/Mon Dec  6 16:21:27 2004//
/hal.h/1.3/Fri May 31 23:25:45 2002//
/main.c/1.56/Mon Dec 27 17:12:55 2004//
/main.h/1.3/Sat Mar  9 23:29:35 2002//
/thunks.c/1.15/Mon Aug 23 19:39:59 2004//
/user.c/1.22/Wed Sep  8 01:50:37 2004//
/user.h/1.4/Fri Jul 19 03:18:05 2002//
D
