int->xint32_t