The text 02da8cf3fd23, as Debian 11 (Bullseye) shipped it.
PsiInput is a Psi input file.
sc_PsiInput(3) on Linux now
