Constant F_PG_IS_WAL_REPLAY_PAUSED

pub const F_PG_IS_WAL_REPLAY_PAUSED: u32 = 3073;