OPTION_KEEP_ALIVE_INTERVAL

Constant OPTION_KEEP_ALIVE_INTERVAL 

pub const OPTION_KEEP_ALIVE_INTERVAL: u32 = 38u32;