+extern void __gnat_decode (const char *, char *, int);
+
+/* This function will return the GNAT encodings, in a colon-separated list,
+ from the encoded form. The Ada encodings are described in exp_dbug.ads. */
+extern void get_encoding (const char *, char *);