uint64_t causes no Seg Fault