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

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