note on 64-bit ints in ccall/cwrap; #2823