use sizeof(int32_t) rather than 4.