I guess all these int32 are not needed.