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

function writeFooter()  {
    document.write('Generated on Mon Jul 29 2024 10:52:56 for CMSIS-RTOS2 2.3.0. Copyright © 2024 Arm Limited (or its affiliates). All rights reserved.');
};