ABA working
fixed wrong casting to __int128