Include stdint.h instead of typedef