No dynamic memory allocation!

Also, include stdint.h explicitly