/autoconf.h/1.2/Sun Feb 20 07:48:35 2011//
/autoconf.c/1.8/Thu Jun 11 03:04:43 2015//
/machdep.c/1.19/Wed Jun  6 03:01:10 2018//
D
