so use le64toh() to print it on the host tool. While here, use consistent (unsignd long long) casts on printing it.