@@
type T1;
type T2;
expression E1,E2;
@@

- E1 = (T1) (T2) E2;