let's avoid int32_t since we don't use libc