get_op_ident() takes now a const parameter