@r @
expression E;
constant C;
@@

- !E & C
+ 12