pub const Anum_pg_statistic_stanumbers4: u32 = 25;