BCHVariable
val make_variable_manager : BCHLibTypes.doubleword_int -> CHXmlDocument.xml_element_int option -> BCHLibTypes.variable_manager_int