Constant HH_DISPLAY_TOC 

pub const HH_DISPLAY_TOC: HTML_HELP_COMMAND;