adding test_newC.ml