license in stdint.h modified