@clacke SufficientlySmartCompiler (SSC) should be plural. In xtUML, the analysis model compiler generates a lower-level code, like C, and let's the lower-level code's compiler generate the platform required output.
In Model Driven Architecture (MDA) terms, you have a Platform Independent SSC and a Platform Specific SSC.