/Makefile/1.2/Fri May  5 02:06:17 2017//
/badargs-mdoc.in/1.2/Tue Jul  4 14:53:27 2017//
/badargs-mdoc.out_ascii/1.2/Tue Jul  4 14:53:27 2017//
/badargs-mdoc.out_lint/1.5/Tue Jul  4 14:53:27 2017//
/badargs.in/1.3/Tue Jul  4 14:53:27 2017//
/badargs.out_ascii/1.2/Tue Aug 26 11:32:56 2014//
/badargs.out_lint/1.6/Tue Jul  4 14:53:27 2017//
D
