/globals.c/1.1/Tue Jul  3 18:50:26 2001//
/gt.c/1.1/Tue Jul  3 18:50:26 2001//
/modifies.c/1.1/Tue Jul  3 18:50:26 2001//
/struct.c/1.1/Tue Jul  3 18:50:27 2001//
/undef.c/1.1/Tue Jul  3 18:50:27 2001//
D
