Changed int32_t to int because we don't import stdint.h here