Remove deprecated typedef int32.