module m3; aspect CAspect { syn String ASTNode.CASTNodeIntro() { return "CASTNodeIntro()"; } syn lazy String CType.functionC(CType c) { return "CType"; } }