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