%import common.INT a: A b: A c: A A: "A"