/*---------------------------------------------------------------------.
| Extract a GNUTYPE_NAMES record contents. It seems that such are not |
/*---------------------------------------------------------------------.
| Extract a GNUTYPE_NAMES record contents. It seems that such are not |