mcimadamore@95: [attribute A]
mcimadamore@95: [flow A]
mcimadamore@95: [attribute B]
mcimadamore@95: [flow B]
mcimadamore@359: [desugar B]
mcimadamore@95: [desugar A]
mcimadamore@95: [generate code A]
jjg@119: [generate code B.C]
mcimadamore@95: [generate code B]