a little test for int32