Constant F_PG_WAL_REPLAY_PAUSE

pub const F_PG_WAL_REPLAY_PAUSE: u32 = 3071;