For review by anyone. I would like the review to answer a question: should the predicates that convert insts to format components be put into a new module or not? There is another place in the compiler that could use them; the code that reports invalid insts in mutable declarations. Zoltan.