Template:cpp/header/dsc stdint.h