Constant WS_SINGLETON_HEADER

pub const WS_SINGLETON_HEADER: WS_REPEATING_HEADER_OPTION;