#[no_mangle]
pub extern "system" fn Java_ch_frankel_blog_rust_Main_timesRust(env: JNIEnv, obj: JObject, x: jint) -> jint { (1)
    let state = env.get_field(obj, "state", "I");            (2)
    state.unwrap().i().unwrap() * x                         (3)
}