* dis-cil.c (get_encoded_user_string): Escape user strings when