bugfix in stdint.c0