Use the int32_t type in standalone as well.