This file does not compile with gcc. I need to add `#include <stdint.h>` and change the include of `strings.h` into `string.h`.