rewrite check64bit in lua
check assert