Vinkinsky

I met the exact same problem and run some tests here:  This test got an identical result as above code :  so I'm thinking maybe there are some...