stdint.c0: make names of variables easier to read