Add test for pstdint.h