zanzibar_u64as.T0