CodeGen: it turns out that NAND is not the same thing as BIC. At all.