jvm :: JniEnv :: set_int_field
fun set_int_field(obj: JavaObject, fieldID: JFieldID, value: Int) `{ (*self)->SetIntField(self, obj, fieldID, value); `}