The text 3c42dce08063, as FreeBSD 12.2-RELEASE shipped it.
4.4BSD scheduler
sched_4bsd(4) on FreeBSD now
