CoCoALib-0.9940