The text 8417ba5d03af, as FreeBSD 12.4-RELEASE shipped it.
ppbus microsequencer developer's guide
microseq(9) on FreeBSD now
