x = uint<3>