better label name
optimize asm and bench
added a proc to check int64 ovfl only
improved test, added some experimental implementations in C