rcc Overview



Expand macros, etc.
Generate intermediate format
Verify using queries against intermediate format

Extensible design.