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