/Makefile/1.2/Fri Feb  6 16:05:51 2015//
/basic.in/1.3/Tue Jul  4 14:53:26 2017//
/basic.out_ascii/1.4/Mon Jun 28 19:59:11 2021//
/basic.out_lint/1.4/Tue Jul  4 14:53:26 2017//
D
