Symbol: nand_extract_bits