@@
identifier arg;
identifier v;
expression E1;//, E2;
@@

- if(copy_from_user(v,arg) != 0) return E1; else { }