type EnvelopeClock = u64;