typedef unsigned long uint64_t ;