Change d0 to u64