function writeHeader() {
    document.write('Version 1.13.1-dev1');
};

function writeFooter()  {
    document.write('Generated on Wed Sep 14 2022 08:59:16 for CMSIS-DSP 1.13.1-dev1+g142dcec. Copyright © 2022 Arm Limited (or its affiliates). All rights reserved.');
};