/Makefile/1.1/Mon Jul  7 11:34:41 2014//
/basic.in/1.3/Tue Jul  4 14:53:27 2017//
/basic.out_ascii/1.4/Tue Jul  4 14:53:27 2017//
/basic.out_lint/1.7/Tue Jul  4 14:53:27 2017//
D
