CoCoALib-0.9933