Use int32 instead of int