Constant __ANDROID_API_N_MR1__ 

pub const __ANDROID_API_N_MR1__: u32 = 25;