How about the "int32" and the capital of "INT32" defference

thank you very much