atvbcV %=U * vbcxt atttV \ c *.