int to int32_t and stuff like that