Mostly brute-force cleanup such as retabbing the file to space cos it was mixed space and tabs, then cleaning up the size (BYTES -> stdint.h sizes)