C docs for HSBM generator (#30).