Constant WS_SINGLETON_HEADER 

pub const WS_SINGLETON_HEADER: WS_REPEATING_HEADER_OPTION;