For those who want to see this for themselves, or to try it on a distro other than Debian Buster, here's the code for crasthest.c.
For those who want to see this for themselves, or to try it on a distro other than Debian Buster, here's the code for crasthest.c.