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