def write_section_header_to_file(file_descriptor, section_name):
    file_descriptor.write('/*** %s ***/\n' % section_name)
Writes a section header to the file
dataset/ETHPy150Open joytunes/JTLocalize/localization_flow/jtlocalize/core/localization_utils.py/write_section_header_to_file