/Makefile/1.2/Thu Aug 14 02:00:53 2014//
/badarg.in/1.3/Tue Jul  4 14:53:27 2017//
/badarg.out_ascii/1.3/Tue Jul  4 14:53:27 2017//
/badarg.out_lint/1.6/Tue Jul  4 14:53:27 2017//
/double.in/1.2/Tue Jul  4 14:53:27 2017//
/double.out_ascii/1.3/Mon Jun 28 19:59:11 2021//
/text.in/1.3/Tue Jul  4 14:53:27 2017//
/text.out_ascii/1.4/Tue Jul  4 14:53:27 2017//
D
