4 ms·

You could write to a separate header file and use a script to copy to the right place only when the header was modified.