change from int to int32_t generation