Hey Gerrit!

 GK> Why would one have libc flagged executable?

Because it is executable as well as a shared object.  No real good reason to have it this way other than it is extremely useful when running;

  $ /lib/libc.so.6
  GNU C Library (GNU libc) stable release version 2.36.
  Copyright (C) 2022 Free Software Foundation, Inc.
  This is free software; see the source for copying conditions.
  There is NO warranty; not even for MERCHANTABILITY or FITNESS FOR A
  PARTICULAR PURPOSE.
  Compiled by GNU CC version 12.2.0.
  libc ABIs: UNIQUE IFUNC ABSOLUTE
  Minimum supported kernel: 4.4.0
  For bug reporting instructions, please see:
  .

What more does one need to know?

 GK> zsh/2 1208 % ll /lib/libc.so.7
 GK> -r--r--r--  1 root  wheel  1959392  6 Apr. 09:30 /lib/libc.so.7

What's your point?  I see no output that would lead me to believe that /lib/libc.so.7 is worthy of running on any machine here whereas the output of /lib/libc.so.6 tells much of what is under the hood ... and it is the good stuff.  Definetly GNU.

 GK> HISTORY
 GK>    An awk utility appeared in Version¨7 AT&T UNIX.

That was a long time ago.  I am betting it preceded both mawk and gawk.

 GK> So why bother about GNU residues at all? ;-)

I favour them and they've been good to me over the years, including gawk.  I've never used, nor ever seen, AT&T UNIX's awk.  How about you?

Life is good,
Maurice

... Fidonet 4K - Sweet Sixteen Penguins of the Apocalypse.
--- GNU bash, version 5.1.16(1)-release (x86_64-znver2-linux-gnu)