The text 1b3da738e9ba, as FreeBSD 12.2-RELEASE shipped it.
ppbus microsequencer developer's guide
microseq(9) on FreeBSD now