/*---------------------------------------------------------------------.
| Extract a GNUTYPE_NAMES record contents. It seems that such are not |
| produced anymore by GNU tar, but we leave the reading code around |
/*---------------------------------------------------------------------.
| Extract a GNUTYPE_NAMES record contents. It seems that such are not |
| produced anymore by GNU tar, but we leave the reading code around |