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