Constant WS_REPEATING_HEADER 

pub const WS_REPEATING_HEADER: WS_REPEATING_HEADER_OPTION;