Tagged code-generation