Symbol: ir_extract_bits