pub type HostIdx = u64;