/Makefile/1.4/Thu Jan  9 20:18:26 1997//
/misc.c/1.12/Sat Apr 11 12:16:12 2009//
/extern.h/1.9/Tue Aug 30 03:03:42 2011//
/special.c/1.14/Tue Nov 29 03:04:01 2011//
/cmp.1/1.13/Tue Jul  4 03:01:24 2017//
/regular.c/1.25/Sun Jan 10 03:02:05 2021//
/cmp.c/1.21/Sun Mar 21 03:02:02 2021//
D