x(){rotation r =
<1, 2, 3, 1>"">;
}