zhesvx(3) on Linux

The text 9fc8db1b6f04, as Debian 12 (Bookworm) shipped it.

complex16

zhesvx(3) on Linux now