18 public final static int UNSPECIFIED = mainJNI.UNSPECIFIED_get();
20 public final static int BOOLEAN_VAR = mainJNI.BOOLEAN_VAR_get();
21 public final static int CONST_VAR = mainJNI.CONST_VAR_get();
22 public final static int VAR_ADD_CST = mainJNI.VAR_ADD_CST_get();
24 public final static int CST_SUB_VAR = mainJNI.CST_SUB_VAR_get();
25 public final static int OPP_VAR = mainJNI.OPP_VAR_get();
26 public final static int TRACE_VAR = mainJNI.TRACE_VAR_get();