delete unused caml_instr_string