function writeHeader() {
    document.write('Version 2.3.0');
};

function writeFooter()  {
    document.write('Generated on Mi Nov  8 2023 16:26:47 for CMSIS-RTOS2 2.3.0. Copyright © 2023 Arm Limited (or its affiliates). All rights reserved.');
};