uint64_t instead of VALUE