fun f_u(nn) { return fcc[nn]?bits(2) == 0b11; }