/Makefile/1.1/Thu Aug 23 14:16:12 2018//
/bad.in/1.2/Sun Apr 24 13:34:53 2022//
/bad.out_ascii/1.3/Sun Apr 24 13:34:53 2022//
/bad.out_lint/1.2/Sun Apr 24 13:34:53 2022//
/basic.in/1.1/Thu Aug 23 14:16:12 2018//
/basic.out_ascii/1.2/Mon Jun 28 19:59:12 2021//
D
