Reverting the change to int32.k