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