BTW, why CATALOG / DIRECTORY are so difficult: for the headers, where the start address, and line-link and the line number are read, CATALOG seems to read three bytes, each, instead of two, thus swallowing two bytes, which is a condition nearly impossible to catch in a transition model.
Behold: