public static boolean WriteStatement(int id, int type, int value) {
   return CoverageWriterJNI.WriteStatement(id, type, value);
 }
 public static boolean WritePredicate(int id, int type, boolean value) {
   return CoverageWriterJNI.WritePredicate(id, type, value);
 }
 public static boolean WriteTestCase(int id, int type, int value) {
   return CoverageWriterJNI.WriteTestCase(id, type, value);
 }