android :: NativeResources :: get_resource_name
fun get_resource_name(resid: Int): JavaString in "Java" `{ return self.getResourceName((int)resid); `}