1 [attribute A]
2 [flow A]
3 [attribute B]
4 [flow B]
5 [desugar A]
6 [generate code A]
7 [desugar B]
8 [generate code B]
9 [generate code B]