void(3type) on Linux

The text 2121581071d0, as Debian 12 (Bookworm) shipped it.

abstract type

void(3type) on Linux now