support uint64_t for syscalls