todo on INT32_MAX