typedef unsigned long uint64 ;