A: 'd' | B;
B: A;