/Makefile/1.1/Thu Aug 23 14:16:12 2018//
/bad.in/1.1/Thu Aug 23 14:16:12 2018//
/bad.out_ascii/1.2/Mon Jun 28 19:59:12 2021//
/bad.out_lint/1.1/Thu Aug 23 14:16:12 2018//
/basic.in/1.1/Thu Aug 23 14:16:12 2018//
/basic.out_ascii/1.2/Mon Jun 28 19:59:12 2021//
D
