[][src]Constant pgx_pg_sys::__IPHONE_4_2

pub const __IPHONE_4_2: u32 = 40200;