s32 -> int because it doesn't need to explicitly be 32 bits.