Stdlib.Type(3o) on Linux

The text f0e27bc1ec65, as Debian 13 (Trixie) shipped it.

no description

Stdlib.Type(3o) on Linux now