advice from the author of pstdint.h