$!
D x a b c d e f
C y (x a b)

$!
D x C C @
C y (x @ @ @)