android :: NativeIntent :: int_extra
fun int_extra(name: JavaString, def_value: Int): Int in "Java" `{ return self.getIntExtra(name, (int)def_value); `}