CHECK(c->env);
(*jni)->CallVoidMethod(jni, c->obj, mid, (jint) n, str);
CHECK(c->env);
CHECK(c->env);
(*jni)->CallVoidMethod(jni, c->obj, mid, (jint) n, str);
CHECK(c->env);
be_java_coal_t *be_java_coal_init(const char *graph_name, int n_nodes, int n_regs, int dbg_level)
{
be_java_coal_t *be_java_coal_init(const char *graph_name, int n_nodes, int n_regs, int dbg_level)
{