The text 052fa5c3ae3f, as Debian 13 (Trixie) shipped it.
la{he,sy}f: step in hetrf
lahef(3) on Linux now
