main/php_stdint.h
win32/php_stdint.h