type T = u64;
const bits: uint = 64;