zheev(3) on Linux

The text 45d6e6ec1594, as Debian 12 (Bookworm) shipped it.

complex16

zheev(3) on Linux now