$ f $ a @12 :x = &f {&x.a} {x.a} {x.a!}