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

function writeFooter()  {
    document.write('Generated on Mon Oct 23 2023 07:42:34 for CMSIS-RTOS2 2.3.0. Copyright © 2023 Arm Limited (or its affiliates). All rights reserved.');
};