@r@
type T;
identifier x;
T E;
@@

T x = 
-     (T)
      E;