should also get `int32_t`